From 09b5839acfe26561fa87c89168133fc93c1083cc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 7 Jan 2012 15:56:22 -0500
Subject: First part of changes to avoid depending on C function call argument
 order of evaluation (omitting normal Ur function calls, so far)

---
 src/cjr.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index 7ea665ce..c348d01a 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -66,7 +66,7 @@ datatype exp' =
        | ENone of typ
        | ESome of typ * exp
        | EFfi of string * string
-       | EFfiApp of string * string * exp list
+       | EFfiApp of string * string * (exp * typ) list
        | EApp of exp * exp list
 
        | EUnop of string * exp
-- 
cgit v1.2.3