summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-03 12:47:27 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-03 12:47:27 -0500
commit9890b6de2e6877c67650f64410127ee2dfe8581e (patch)
tree784c36f589cbacce89a4ab23334fda77871e7961 /src/mono.sml
parentd777d7da78fccb8f15eccff680deca36ae57314b (diff)
Proper C-side deserialization; Shake.sliceDb
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono.sml b/src/mono.sml
index af5e9031..898feb9b 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -108,7 +108,7 @@ datatype exp' =
| ENextval of exp
| ESetval of exp * exp
- | EUnurlify of exp * typ
+ | EUnurlify of exp * typ * bool
| EJavaScript of javascript_mode * exp