Merge branch 'lucca-master' into HEAD

Conflicts:
	src/run.ml

diff --git a/src/run.ml b/src/run.ml
index de2ba81..444cce7 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -11,8 +11,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-INCLUDE "utils.ml"
-
 module Node  =
 struct
   type t = int
@@ -50,4 +48,3 @@ let print fmt run =
       print_map run
   in
   Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@ @]@." print_box run
-