[Projects] Re: XRM 56: Minor cleanups in the grammar.

12 Jun 2006

...
...
...
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
...
Index: src/syn/prism/PRISM-Main.sdf

--- src/syn/prism/PRISM-Main.sdf	(revision 55)
+++ src/syn/prism/PRISM-Main.sdf	(working copy)
@@ -1,20 +1,4 @@
 module PRISM-Main
 imports
-  PRISM-Command
-  PRISM-Constant
-  PRISM-Declaration
-  PRISM-Expression
-  PRISM-Formula
-  PRISM-Global
-  PRISM-Identifier
-  PRISM-Init
-  PRISM-Label
   PRISM-Layout
-  PRISM-Literals
-  PRISM-Module
   PRISM-ModulesFile
-  PRISM-ModulesFileType
-  PRISM-Reward
-  PRISM-SystemComposition
-  PRISM-Update
How come they are useless?  There were included elsewhere?

    

Akim Demaille