diff --git a/Verification/Miscellaneous/obst_multi.ssf b/Verification/Miscellaneous/obst_multi.ssf
index a01d6aa1c04..3d95e5c9f5e 100644
--- a/Verification/Miscellaneous/obst_multi.ssf
+++ b/Verification/Miscellaneous/obst_multi.ssf
@@ -9,6 +9,8 @@ KEYBOARD
  O
 RENDERONCE
  obst_multi
+LOADSMV
+ obst_single.smv
 KEYBOARD
  q
 RENDERONCE