@@ -425,6 +425,7 @@ showCG (SN s) = showCG' s
425 showCG' (ParentN p c) = showCG p ++ "#" ++ show c
425 showCG' (ParentN p c) = showCG p ++ "#" ++ show c
426 showCG' (CaseN c) = showCG c ++ "_case"
426 showCG' (CaseN c) = showCG c ++ "_case"
427 showCG' (ElimN sn) = showCG sn ++ "_elim"
427 showCG' (ElimN sn) = showCG sn ++ "_elim"
428+ showCG' (InstanceCtorN n) = showCG n ++ "_ictor"
428showCG NErased = "_"
429showCG NErased = "_"