From 9890b6de2e6877c67650f64410127ee2dfe8581e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 Jan 2010 12:47:27 -0500 Subject: Proper C-side deserialization; Shake.sliceDb --- src/prepare.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/prepare.sml') diff --git a/src/prepare.sml b/src/prepare.sml index 2d144c67..2f49405b 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -281,11 +281,11 @@ fun prepExp (e as (_, loc), st) = ((ESetval {seq = e1, count = e2}, loc), st) end - | EUnurlify (e, t) => + | EUnurlify (e, t, b) => let val (e, st) = prepExp (e, st) in - ((EUnurlify (e, t), loc), st) + ((EUnurlify (e, t, b), loc), st) end fun prepDecl (d as (_, loc), st) = -- cgit v1.2.3