# HG changeset patch
# User bulwahn
# Date 1332500639 -3600
# Node ID 6b53d954255ba0419ad30517ab0a676c7f6ed65b
# Parent  eba1cea4eef6c39bf104afa8adfac5f05ee98300
adjusting to longer names in PNF_Narrowing_Engine, which was overlooked in 4106258260b3

diff -r eba1cea4eef6 -r 6b53d954255b src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs
--- a/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Thu Mar 22 21:43:26 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Fri Mar 23 12:03:59 2012 +0100
@@ -301,7 +301,7 @@
 checkOf (Generated_Code.Universal _ f _) = (\(t : ts) -> checkOf (f t) ts)
 checkOf (Generated_Code.Existential _ f _) = (\(t : ts) -> checkOf (f t) ts)
 
-dummy = Generated_Code.Var [] (Generated_Code.SumOfProd [[]])
+dummy = Generated_Code.Narrowing_variable [] (Generated_Code.Narrowing_sum_of_products [[]])
 
 treeOf :: Int -> Generated_Code.Property -> QuantTree
 treeOf n (Generated_Code.Property _) = Node uneval