Move unsupported test (#611)

ultimate-pa · Feb 23, 2023 · 455be11 · 455be11
1 parent d19ecf3
commit 455be11
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...regression/SyntaxSupportMixedIntReal2.bpl → ...les/lassos/SyntaxSupportMixedIntReal2.bpl b/...regression/SyntaxSupportMixedIntReal2.bpl → ...les/lassos/SyntaxSupportMixedIntReal2.bpl