summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-03-13 11:59:03 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-03-13 11:59:03 -0400
commitdb4655954148bfbef6eab52cc810b0038c620528 (patch)
tree61a01de127990ff9ef6c4b218b1e72a066cfdf6e
parenta6dc15f0ca2f44264e7794bdd4313c78c710e141 (diff)
Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later)
-rw-r--r--src/mono.sml3
1 files changed, 1 insertions, 2 deletions
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