1
0
forked from GitHub/gf-core

lexer=ignore

This commit is contained in:
aarne
2005-09-29 12:20:08 +00:00
parent 60b6ce0f07
commit 74e7f84e0f
3 changed files with 16 additions and 6 deletions

View File

@@ -4,7 +4,7 @@
concrete PredicEng of Predic = CategoriesEng **
open Prelude, SyntaxEng, DeptypEng in {
flags optimize=all ;
flags optimize=all_subs ;
lincat
VType, CType = SS ;