From 42944f71120301ea2dff0e93f3a0f2e7df4a44b0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 11 Sep 2008 18:32:41 -0400 Subject: Crud list works --- src/disjoint.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/disjoint.sml') diff --git a/src/disjoint.sml b/src/disjoint.sml index 069d3ec2..5602c8d2 100644 --- a/src/disjoint.sml +++ b/src/disjoint.sml @@ -199,6 +199,8 @@ fun decomposeRow (env, denv) c = | _ => (Unknown cAll :: acc, gs) end in + (*Print.prefaces "decomposeRow'" [("c", ElabPrint.p_con env c), + ("c'", ElabPrint.p_con env (#1 (hnormCon (env, denv) c)))];*) case #1 (#1 (hnormCon (env, denv) c)) of CApp ( (CApp ( -- cgit v1.2.3