From a27e901c56d218a6bbb404e351eb0a2735b48d04 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Mon, 20 Jul 2015 11:10:37 +0200
Subject: [PATCH] valid test was in fact invalid

---
 .../purescala/{valid => invalid}/RealNonDiscrete.scala            | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/test/resources/regression/verification/purescala/{valid => invalid}/RealNonDiscrete.scala (100%)

diff --git a/src/test/resources/regression/verification/purescala/valid/RealNonDiscrete.scala b/src/test/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala
similarity index 100%
rename from src/test/resources/regression/verification/purescala/valid/RealNonDiscrete.scala
rename to src/test/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala
-- 
GitLab