from Nicolas Pouillard <ertai@lrde.epita.fr>

	* src/sdf-option.str: Add `unparameterized' to fix a bug.

sdf-option/ChangeLog

+2004-05-12  Nicolas Pouillard  <ertai@lrde.epita.fr>
+
+	* src/sdf-option.str: Add `unparameterized' to fix a bug.
+
 2004-04-30  Nicolas Pouillard  <ertai@lrde.epita.fr>
 
 	* src/sdf-option.str: Update to Sdf2.

sdf-option/src/sdf-option.str

@@ -62,7 +62,7 @@ rules
   Module : definition(as) -> definition([c | as])
            where <Temporary> "module" => b
 	       ; <Temporary> "sorts" => sorts-list
-               ; < id > 'module("Dummy", [],
+               ; < id > 'module(unparameterized("Dummy"), [],
 				['exports('sorts(sorts-list)),
 				 'exports(context-free-syntax (b))]) => c