Changeset 12718

Timestamp:

26.10.2009 11:28:33 (4 weeks ago)

Author:

maeder

Message:

CASL2PCFOL contains no inline axioms any more

Location:

trunk

Files:

• Comorphisms/CASL2PCFOL.hs (moved) (moved from trunk/Comorphisms/CASL2PCFOL.inline.hs)
• Makefile (modified) (1 diff)

trunk/Makefile

@@ -361 +361 @@
 
 # files to be processed by utils/InlineAxioms
-inline_axiom_files = Comorphisms/CASL2PCFOL.hs \
+inline_axiom_files = \
     Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
     Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs