소스 검색

[display] fix exhaustion

Simon Krajewski 7 년 전
부모
커밋
6c81fed6f3
1개의 변경된 파일2개의 추가작업 그리고 1개의 파일을 삭제
  1. 2 1
      src/compiler/main.ml

+ 2 - 1
src/compiler/main.ml

@@ -1005,7 +1005,8 @@ with
 			| CRUsing
 			| CRNew
 			| CRPattern _
-			| CRTypeRelation ->
+			| CRTypeRelation
+			| CRTypeDecl ->
 				DisplayOutput.print_toplevel fields
 			| CRField _
 			| CRStructureField