subs flags

This commit is contained in:
aarne committed 2005-09-20 15:31:09 +00:00
1 parent 01a039ba37
commit d58bf057d7
4 files changed
+4 -4

No files matched your search

+1 -1
View File
@@ -2,7 +2,7 @@
incomplete concrete ClauseI of Clause = open Rules, Verbphrase in {
flags optimize=all ;
flags optimize=all_subs ;
lin