summaryrefslogtreecommitdiff
path: root/general.sml
diff options
context:
space:
mode:
Diffstat (limited to 'general.sml')
-rw-r--r--general.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/general.sml b/general.sml
index 0cf2ebd..cb4652a 100644
--- a/general.sml
+++ b/general.sml
@@ -23,8 +23,8 @@ in
Unevaluated th =>
let
val x = th () handle e => (value := Exn e; raise e)
- val () = value := Evaluated x
in
+ value := Evaluated x;
x
end
| Evaluated v => v