From ef01ce847672c724d3fb4c25ae2561e5a8d159f5 Mon Sep 17 00:00:00 2001
From: Rishabh Iyer <rishabh.iyer@epfl.ch>
Date: Fri, 15 Oct 2021 11:53:40 +0000
Subject: [PATCH] Fix (possibly irrelevant) typo in Lab03
---
labs/lab03/Lab03.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/labs/lab03/Lab03.scala b/labs/lab03/Lab03.scala
index e258421..088d456 100644
--- a/labs/lab03/Lab03.scala
+++ b/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))
--
GitLab