msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

optimization flag in Predicatio

Browse Source
This commit is contained in:
aarne
2006-01-31 17:46:16 +00:00
parent 041e7c7445
commit 194a0dc320
2 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
resource-1.0/mathematical/PredicationI.gf
View File

@@ -1,5 +1,7 @@
incomplete concrete PredicationI of Predication = Cat ** open ParamX, Lang in {
flags optimize = all_subs ;
lincat
AS = {s : Polarity => S} ;