src/HOL/Tools/ATP/watcher.ML
changeset 15774 9df37a0e935d
parent 15702 2677db44c795
child 15782 a1863ea9052b
     1.1 --- a/src/HOL/Tools/ATP/watcher.ML	Tue Apr 19 15:15:06 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/watcher.ML	Tue Apr 19 18:08:44 2005 +0200
     1.3 @@ -605,7 +605,7 @@
     1.4  
     1.5                                                            let val thm = thm_of_string thmstring
     1.6                                                                val clauses = make_clauses [thm]
     1.7 -                                                              val numcls =  zip  (numlist (length clauses)) (map make_meta_clause clauses)
     1.8 +                                                              val numcls =  ListPair.zip  (numlist (length clauses), map make_meta_clause clauses)
     1.9                                                           
    1.10                                                            in
    1.11                                                               Pretty.writeln(Pretty.str ( (concat[(oct_char "360"), (oct_char "377")])));