diff options
Diffstat (limited to 'frontend/classify.icl')
| -rw-r--r-- | frontend/classify.icl | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/frontend/classify.icl b/frontend/classify.icl index 9075913..573e35a 100644 --- a/frontend/classify.icl +++ b/frontend/classify.icl @@ -1,13 +1,10 @@ -/* - module owner: Diederik van Arkel -*/ implementation module classify SwitchMultimatchClassification multi no_multi :== multi SwitchNewOld new old :== new import syntax -from partition import ::Component(..),::ComponentMembers(..) +from checksupport import ::Component(..),::ComponentMembers(..) from containers import arg_is_strict import utilities import StdStrictLists |