1
0
forked from GitHub/gf-rgl

CSEE now works fine

This commit is contained in:
aarne
2005-09-20 08:32:55 +00:00
parent 6d2ef4bb08
commit 01a039ba37
5 changed files with 6 additions and 4 deletions

View File

@@ -3,7 +3,7 @@
concrete ClauseFin of Clause = CategoriesFin **
open Prelude, SyntaxFin in {
flags optimize=all ;
flags optimize=all_subs ;
lin
SPredV np v =