X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=444cce790723ef93d02c70f39c87f5f3c54545c6;hp=de2ba81c37e7848eae48c1780ba0056a637be011;hb=445457b2dc5ca11cb3d305c346fe7937f29ba2a9;hpb=881ebcb1df7335560c8715ec673980158f6ee585

diff --git a/src/run.ml b/src/run.ml
index de2ba81..444cce7 100644
--- 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
-