Fix duplicate ID in Request.scala

LS-Lab · Nov 8, 2016 · 80aca6d · 80aca6d
1 parent 718bb0c
commit 80aca6d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/keymaerax-webui/src/main/scala/edu/cmu/cs/ls/keymaerax/hydra/Request.scala b/keymaerax-webui/src/main/scala/edu/cmu/cs/ls/keymaerax/hydra/Request.scala
@@ -478,7 +478,7 @@ class ListExamplesRequest(db: DBAbstraction) extends Request {
         "http://www.ls.cs.cmu.edu/KeYmaeraX/KeYmaeraX-tutorial.pdf",
         "classpath:/examples/tutorials/cpsweek/cpsweek.json",
         "/examples/tutorials/cpsweek/cpsweek.png") ::
-      new ExamplePOJO(1, "FM 2016 Tutorial",
+      new ExamplePOJO(2, "FM 2016 Tutorial",
         "Tactics and Proofs",
         "/dashboard.html?#/tutorials",
         "classpath:/examples/tutorials/fm/fm.json",