From db4655954148bfbef6eab52cc810b0038c620528 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 13 Mar 2012 11:59:03 -0400 Subject: Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later) --- src/mono.sml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src') diff --git a/src/mono.sml b/src/mono.sml index 65dc9abc..4a0278fd 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -105,8 +105,7 @@ datatype exp' = | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*) tables : (string * (string * typ) list) list, state : typ, - query : exp, (* exp of string type containing sql query - (after mono opt) *) + query : exp, (* exp of string type containing sql query *) body : exp, initial : exp } | EDml of exp * failure_mode -- cgit v1.2.3