Update TwoPhase example

Author: will62794

js/app.js

@@ -101,7 +101,7 @@ const exampleSpecs = {
     "TwoPhase (animated)": {
         specpath: "./specs/TwoPhase.tla",
         constant_vals: {
-            "RM": "{rm1,rm2}",
+            "RM": "{rm1,rm2,rm3}",
         }
     },
     "TeachingConcurrency": {

specs/TwoPhase.tla

@@ -21,7 +21,7 @@ EXTENDS TLC, Naturals
 (***************************************************************************)
 \* CONSTANT RM \* The set of resource managers
 
-RM == {"rm1", "rm2"}
+CONSTANT RM
 
 VARIABLES
   rmState,       \* $rmState[rm]$ is the state of resource manager RM.