From 3e42cccfaef1157ca14cd102959b867c996503a9 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Mon, 21 Sep 2015 10:16:55 -0400
Subject: Revert to revision 2222.

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

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 94c47814..5185e48c 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -168,6 +168,6 @@ datatype dbmode =
        | OneQuery
        | AnyDb
 
-type file = {decls : decl list, sideInfo : (int * sidedness * dbmode) list}
+type file = decl list * (int * sidedness * dbmode) list
 
 end
-- 
cgit v1.2.3