From cdf0f47676b65ddcef98a1aa2b20d92afecfb609 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 2 Jun 2015 16:52:33 +0200
Subject: [PATCH] Fix interpolation
---
src/main/scala/leon/verification/InductionTactic.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/verification/InductionTactic.scala b/src/main/scala/leon/verification/InductionTactic.scala
index bc26e7796..ba4039b26 100644
--- a/src/main/scala/leon/verification/InductionTactic.scala
+++ b/src/main/scala/leon/verification/InductionTactic.scala
@@ -80,7 +80,7 @@ class InductionTactic(vctx: VerificationContext) extends DefaultTactic(vctx) {
// Crop the call to display it properly
val fiS = sizeLimit(fi.toString, 25)
- VC(vc, fd, VCKinds.Info(VCKinds.Precondition, "call $fiS, ind. on ($arg : ${cct.classDef.id)}"), this).setPos(fi)
+ VC(vc, fd, VCKinds.Info(VCKinds.Precondition, s"call $fiS, ind. on ($arg : ${cct.classDef.id})"), this).setPos(fi)
}
}
--
GitLab