diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-11 18:32:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 18:32:41 -0400 |
| commit | 42944f71120301ea2dff0e93f3a0f2e7df4a44b0 (patch) | |
| tree | 527e676197eaa7c1c4377678e5e6d9731fb11a98 /src/disjoint.sml | |
| parent | 48b9d4dae3d1ca6ff39e71571a6db3a43497c9f9 (diff) | |
Crud list works
Diffstat (limited to 'src/disjoint.sml')
| -rw-r--r-- | src/disjoint.sml | 2 |
1 files changed, 2 insertions, 0 deletions
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 ( |