From e7ee75d86c79bc12eb14698159ab5f923a253ac3 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Fri, 22 Apr 2016 20:01:09 +0200
Subject: [PATCH] oups, should have been invalid

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

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