diff options
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/CodeGen/KrancGroups.m | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/CodeGen/KrancGroups.m b/Tools/CodeGen/KrancGroups.m index 53b66ad..d49b21f 100644 --- a/Tools/CodeGen/KrancGroups.m +++ b/Tools/CodeGen/KrancGroups.m @@ -56,6 +56,7 @@ VerifyGroupNames; VerifyGroups; EnsureInterfaceTimelevels; GroupExtras; +DeleteGroupExtra; Begin["`Private`"]; @@ -91,6 +92,9 @@ CreateGroup[name_, vars_, extras_] := AddGroupExtra[group_, extra_] := Append[group, extra]; +DefFn[ + DeleteGroupExtra[group_, extra_Symbol] := + DeleteCases[group, extra -> _]]; VerifyGroup[group_] := Module[{}, |