From e04086de83f7999ae0c8212408366335d03f34d9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 23 Apr 2007 09:20:12 +0000
Subject: [PATCH] New dummy module name in SBML converter.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@292 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/SBML2Prism.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/SBML2Prism.java b/prism/src/prism/SBML2Prism.java
index d79ea0ab..d967ca23 100644
--- a/prism/src/prism/SBML2Prism.java
+++ b/prism/src/prism/SBML2Prism.java
@@ -348,7 +348,7 @@ public class SBML2Prism implements EntityResolver
 		}
 		
 		// Generate dummy module to store reaction rates
-		s += "\n// Reaction rates\nmodule dummy\n\n";
+		s += "\n// Reaction rates\nmodule reaction_rates\n\n";
 		n = reactionList.size();
 		for (i = 0; i < n; i++) {
 			reaction = reactionList.get(i);