X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=Test7.obn;h=e3613e4e53d70fc7e9db3bbc058b3aada74dbb77;hp=7579867ca572312f8f4945516f7d4dbed0d1d0d4;hb=9531d399c60190a8daf625dd99f9c141753bba5e;hpb=3d4021b9a2dd52aaf4b97859a8a58b74903ebac9

diff --git a/Test7.obn b/Test7.obn
index 7579867..e3613e4 100644
--- a/Test7.obn
+++ b/Test7.obn
@@ -15,9 +15,7 @@ BEGIN
   END;
   Out.Ln;
 
-  IF ok = FALSE THEN
-    HALT(1);
-  END;
+  ASSERT(ok);
 END Test7.
 
 Проверка корректности FOR.