소스 검색

Unused open

Rudy Ges 9 달 전
부모
커밋
cc32652460
1개의 변경된 파일0개의 추가작업 그리고 1개의 파일을 삭제
  1. 0 1
      src/core/naming.ml

+ 0 - 1
src/core/naming.ml

@@ -1,5 +1,4 @@
 open Globals
-open Ast
 open Type
 open Common
 open Error