Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed syntax for sml/nj
authorpaulson
Tue, 20 Sep 2005 18:42:56 +0200
changeset 17524 42d56a6dec6e
parent 17523 73571cefff44
child 17525 ae5bb6001afb
fixed syntax for sml/nj
src/Provers/Arith/fast_lin_arith.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/Arith/fast_lin_arith.ML	Tue Sep 20 17:01:43 2005 +0200
+++ b/src/Provers/Arith/fast_lin_arith.ML	Tue Sep 20 18:42:56 2005 +0200
@@ -278,7 +278,7 @@
   if n = 1 then i
   else if n = 0 andalso ty = Lt then sys_error "multiply_ineq"
   else if n < 0 andalso (ty=Le orelse ty=Lt) then sys_error "multiply_ineq"
-  else Lineq (n * k, ty, map (curry (op *) n) l, Multiplied (n, just));
+  else Lineq (n * k, ty, map (curry op* n) l, Multiplied (n, just));
 
 (* ------------------------------------------------------------------------- *)
 (* Add together (in)equations.                                               *)
isabelle