From a9b1ad83e945a07e9a9034aac501646ef72f249e Mon Sep 17 00:00:00 2001
From: manoskouk <emmanouil.koukoutos@epfl.ch>
Date: Thu, 29 Jan 2015 18:46:19 +0100
Subject: [PATCH] Typos
---
src/main/scala/leon/purescala/TreeOps.scala | 2 +-
src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala | 2 +-
src/main/scala/leon/synthesis/ExamplesFinder.scala | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index df053f78d..8cc5f31fa 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1774,7 +1774,7 @@ object TreeOps {
}
case _ =>
- sys.error("Unnexpected case: "+p)
+ sys.error("Unexpected case: "+p)
}
subChecks.forall { case (ccd, subs) =>
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
index c0b4aa692..eb59fd5b9 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
@@ -570,7 +570,7 @@ trait SMTLIBTarget {
interpreter.eval(cmd) match {
case err@ErrorResponse(msg) if !interrupted =>
- reporter.fatalError("Unnexpected error from smt-"+targetName+" solver: "+msg)
+ reporter.fatalError("Unexpected error from smt-"+targetName+" solver: "+msg)
case res => res
}
}
diff --git a/src/main/scala/leon/synthesis/ExamplesFinder.scala b/src/main/scala/leon/synthesis/ExamplesFinder.scala
index be7a8c6d1..fade70b94 100644
--- a/src/main/scala/leon/synthesis/ExamplesFinder.scala
+++ b/src/main/scala/leon/synthesis/ExamplesFinder.scala
@@ -247,7 +247,7 @@ class ExamplesFinder(ctx: LeonContext, program: Program) {
}
case _ =>
- reporter.warning("Unnexpected pattern in test-ids extraction: "+e)
+ reporter.warning("Unexpected pattern in test-ids extraction: "+e)
Nil
}
--
GitLab