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

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.