diff options
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 ( |