From 0de837a4b8d84b9126847f0ba5d1b981f3cc1c21 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 2 Jul 2012 23:41:49 +0000 Subject: [PATCH] Typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5422 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Reactions2Prism.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Reactions2Prism.java b/prism/src/prism/Reactions2Prism.java index 198bfcc6..cbf0e509 100644 --- a/prism/src/prism/Reactions2Prism.java +++ b/prism/src/prism/Reactions2Prism.java @@ -323,7 +323,7 @@ public class Reactions2Prism sb.append("\t// " + reaction.id); if (reaction.name.length() > 0) sb.append(" (" + reaction.name + ")"); - sb.append("(reverse)\n"); + sb.append(" (reverse)\n"); sb.append("\t[" + reaction.id + "_rev] "); before = reaction.after(species.id); after = reaction.before(species.id);