diff options
Diffstat (limited to 'compiler/InterpreterExpansion.mli')
| -rw-r--r-- | compiler/InterpreterExpansion.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/InterpreterExpansion.mli b/compiler/InterpreterExpansion.mli index 6ea75d0b..4be1fd24 100644 --- a/compiler/InterpreterExpansion.mli +++ b/compiler/InterpreterExpansion.mli @@ -1,4 +1,3 @@ -open PrimitiveValues open Values open Contexts open Cps |