Browse Source

Typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5422 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
commit
0de837a4b8
  1. 2
      prism/src/prism/Reactions2Prism.java

2
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);

Loading…
Cancel
Save