modified optimization info printout (option -print_reuse)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@385 041b043f-8d7c-46b2-b46e-ef0dd855326e

src/scheduling.ml

@@ -166,6 +166,11 @@ let schedule_node n =
     if !Options.print_reuse
     then
       begin
+	Log.report ~level:0 
+	  (fun fmt -> 
+	    Format.fprintf fmt
+	      "OPT:%B@." (try (Hashtbl.iter (fun s1 v2 -> if s1 = v2.var_id then raise Not_found) reuse; false) with Not_found -> true)
+	  );
 	Log.report ~level:0 
 	  (fun fmt -> 
 	    Format.fprintf fmt