From 455be11e4f669457c6d1ba9c8ed66e67811c0fd6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Thu, 23 Feb 2023 11:04:16 +0100
Subject: [PATCH] Move unsupported test (#611)

---
 .../lassos/{regression => }/SyntaxSupportMixedIntReal2.bpl        | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename trunk/examples/lassos/{regression => }/SyntaxSupportMixedIntReal2.bpl (100%)

diff --git a/trunk/examples/lassos/regression/SyntaxSupportMixedIntReal2.bpl b/trunk/examples/lassos/SyntaxSupportMixedIntReal2.bpl
similarity index 100%
rename from trunk/examples/lassos/regression/SyntaxSupportMixedIntReal2.bpl
rename to trunk/examples/lassos/SyntaxSupportMixedIntReal2.bpl