diff --git a/prism-tests/bugfixes/stratgenreach.nm b/prism-tests/bugfixes/stratgenreach.nm.disabled similarity index 100% rename from prism-tests/bugfixes/stratgenreach.nm rename to prism-tests/bugfixes/stratgenreach.nm.disabled