Fix JDK9 compilation issue, use parser.ast.Module instead of Module#18
Merged
davexparker merged 1 commit intoprismmodelchecker:masterfrom Aug 30, 2017
Merged
Fix JDK9 compilation issue, use parser.ast.Module instead of Module#18davexparker merged 1 commit intoprismmodelchecker:masterfrom
davexparker merged 1 commit intoprismmodelchecker:masterfrom
