Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Concurrent/lazy_sequential.ML
changeset 43761 e72ba84ae58f
parent 39232 69c6d3e87660
child 44198 a41ea419de68 
--- a/src/Pure/Concurrent/lazy_sequential.ML	Mon Jul 11 22:50:29 2011 +0200
+++ b/src/Pure/Concurrent/lazy_sequential.ML	Mon Jul 11 22:55:47 2011 +0200
@@ -23,7 +23,7 @@
   | Result res => SOME res);
 
 fun lazy e = Lazy (Unsynchronized.ref (Expr e));
-fun value a = Lazy (Unsynchronized.ref (Result (Exn.Result a)));
+fun value a = Lazy (Unsynchronized.ref (Result (Exn.Res a)));
 
 
 (* force result *)
isabelle