From 0fbaa0217b05cb099ad3dc99fc208a8660761d6a Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Tue, 6 Jul 2010 13:35:11 +0200 Subject: [PATCH] Fixed missing include dir in minils/_tags --- compiler/minils/_tags | 2 +- compiler/minils/main/mlsc.ml | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) 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