Restore Prelude 1.5.1 in its original state

(not cluttered with 1.5.2 commit)


git-svn-id: https://svn.onera.fr/Prelude/Prelude/tags/prelude-1.5.1@726 49f62630-d767-4ccd-930e-b3f5589f52e1

_oasis

 OASISFormat: 0.2
 Name:        Prelude Compiler
-Version:     1.5.2
+Version:     1.5.1
 Synopsis:    Prelude compiler
 Authors:     Julien Forget, Pierre-Loïc Garoche, Eric Noulard, Wolfgang Puffitsch
 License:     LGPL-2.1

src/options.ml

@@ -20,7 +20,7 @@
  * USA
  *---------------------------------------------------------------------------- *)
 
-let version = "1.5.2"
+let version = "1.5.1"
 let main_node = ref ""
 let print_types = ref false
 let print_clocks = ref false

src/task_graph.ml

@@ -546,13 +546,7 @@ let check_variables_unused g exp_main =
 
 let reduced_task_graph exp_main =
   let g = of_node exp_main in
-  begin
-    try check_variables_unused g exp_main
-    with Error (loc, Main_variable_unused vid) ->
-      Location.print(loc);
-      print_string("Warning variable "^vid^" is not used");
-      print_newline()
-  end;
+  check_variables_unused g exp_main;
   reduce g exp_main
     
 let same_task v1 v2 =
@@ -571,9 +565,6 @@ let prec_list g =
   let precs =
     Hashtbl.fold
       (fun vid v precs ->
-        match v.vertex_desc with Constant _ ->
-          precs
-        | _ ->
         let more_precs =
           Hashtbl.fold
             (fun succ_id annot l ->