ultimate-pa
diff --git a/‎trunk/examples/Requirements/regression/rtinconsistency/rtinconsistency_test112.req‎ renamed to ‎trunk/examples/Requirements/issues/rtinconsistency_test112.req‎ b/‎trunk/examples/Requirements/regression/rtinconsistency/rtinconsistency_test112.req‎ renamed to ‎trunk/examples/Requirements/issues/rtinconsistency_test112.req‎