Source

mutated_ocaml / testsuite / tests / misc-kb / equations.ml

Diff from to

File testsuite/tests/misc-kb/equations.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id: equations.ml 11156 2011-07-27 14:17:02Z doligez $ *)
+(* $Id: equations.ml 12800 2012-07-30 18:59:07Z doligez $ *)
 
 (****************** Equation manipulations *************)
 
 open Terms
 
-type rule = 
+type rule =
   { number: int;
     numvars: int;
     lhs: term;
 
 
 let pretty_rules rules = List.iter pretty_rule rules
- 
+
 (****************** Rewriting **************************)
 
 (* Top-level rewriting. Let eq:L=R be an equation, M be a term such that L<=M.
     mrewrite_all rules (mrewrite1 rules m)
   with Failure _ ->
     m
-