Fix (possibly irrelevant) typo in Lab03

labs/lab03/Lab03.scala

@@ -66,7 +66,7 @@ object Lab03 {
 
   }.ensuring(evaluate(env, instantiation(f, id, value)).isDefined)
 
-  /* The case analysis proof step ( F, G ==> F[x:=1]\/G[y:=0] ) is sound */
+  /* The case analysis proof step ( F, G ==> F[x:=1]\/G[x:=0] ) is sound */
   def caseAnalysisSoundness(env:Environment, f:Formula, g:Formula, id:Identifier):Unit = {
     require(env.contains(id) && evaluate(env, f)==Some(true) && evaluate(env, g)==Some(true))