From 7169409cdc7ccc14ac5e4d1da453d39d63a4d5bb Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Sat, 5 Dec 2015 14:10:03 +0100
Subject: [PATCH] Oops
---
.../regression/verification/purescala/valid/Monads3.scala | 1 +
.../regression/verification/purescala/valid/ParBalance.scala | 1 +
2 files changed, 2 insertions(+)
diff --git a/src/test/resources/regression/verification/purescala/valid/Monads3.scala b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
index 8fac4a7e0..fc0e7149b 100644
--- a/src/test/resources/regression/verification/purescala/valid/Monads3.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
@@ -1,6 +1,7 @@
/* Copyright 2009-2015 EPFL, Lausanne */
import leon.lang._
+import leon.proof._
import leon.collection._
object Monads3 {
diff --git a/src/test/resources/regression/verification/purescala/valid/ParBalance.scala b/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
index dd8e16f43..35ca75376 100644
--- a/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
+++ b/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
@@ -2,6 +2,7 @@
import leon._
import leon.lang._
+import leon.proof._
object ParBalance {
--
GitLab