Disable bug-test-gen-095 string refinement test

Lukasz A.J. Wrona · Lukasz A.J. Wrona · commit 5e02b0cadb80 · 2017-07-24T15:11:42.000+01:00
diff --git a/regression/strings/bug-test-gen-095/test.desc b/regression/strings/bug-test-gen-095/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 test.class
 --refine-strings
 ^EXIT=10$
