making TryPol compile

This commit is contained in:
aarne
2009-10-23 16:11:54 +00:00
parent 4f6bd2f1d6
commit 5f5e3f1d69
5 changed files with 11 additions and 15 deletions

View File

@@ -0,0 +1,5 @@
--# -path=.:present
resource SymbolicPol = Symbolic with
(Symbol = SymbolPol),
(Grammar = GrammarPol) ;