diff src/source_print.sml @ 219:5292c0113024

SQL comparison operators
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 17:18:00 -0400
parents e86411f647c6
children bbe5899a9585
line wrap: on
line diff
--- a/src/source_print.sml	Sat Aug 16 16:57:21 2008 -0400
+++ b/src/source_print.sml	Sat Aug 16 17:18:00 2008 -0400
@@ -286,7 +286,7 @@
                                                                space,
                                                                p_exp e]) pes])
 
-      | ESqlInfer => string "<sql-infer>"
+      | EWild => string "_"
 
 and p_exp e = p_exp' false e