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

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.