diff --git a/compiler/minils/_tags b/compiler/minils/_tags index 3d82354..0107ee5 100644 --- a/compiler/minils/_tags +++ b/compiler/minils/_tags @@ -1 +1 @@ - or or
or :include \ No newline at end of file + or or
or or :include diff --git a/compiler/minils/main/mlsc.ml b/compiler/minils/main/mlsc.ml index dfe894b..081eada 100644 --- a/compiler/minils/main/mlsc.ml +++ b/compiler/minils/main/mlsc.ml @@ -12,7 +12,6 @@ open Location open Compiler_utils open Mls2seq - let pp = Mls_printer.print stdout