diff src/iflow.sml @ 1219:3224faec752d

Constants are known
author Adam Chlipala <adamc@hcoop.net>
date Sat, 10 Apr 2010 13:12:42 -0400
parents 48d2ca496d2c
children 526575a9537a
line wrap: on
line diff
--- a/src/iflow.sml	Sat Apr 10 13:02:15 2010 -0400
+++ b/src/iflow.sml	Sat Apr 10 13:12:42 2010 -0400
@@ -510,7 +510,7 @@
                                     val r = ref (Node {Rep = ref NONE,
                                                        Cons = ref SM.empty,
                                                        Variety = Prim p,
-                                                       Known = ref false})
+                                                       Known = ref true})
                                 in
                                     #Consts db := CM.insert (!(#Consts db), p, r);
                                     r