summaryrefslogtreecommitdiff
path: root/general.sml
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-06 23:22:30 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-06 23:22:30 +0200
commit8e2dc7712de206b87e1c46df9383c3fa1e18a43a (patch)
treeee2f199b35eb4374e5638f1c8506d5a6c9a88d4e /general.sml
parent9d724f17e813fa344d485329d33b5f5ecf8197a3 (diff)
Debug print preprocessor function
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