# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1270919562 14400
# Node ID 3224faec752d8ded3ef04863b5984e4e4a21ab76
# Parent  48d2ca496d2c2a572ee062d7102dbea40fe37013
Constants are known

diff -r 48d2ca496d2c -r 3224faec752d src/iflow.sml
--- 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