Browse Source

Improved diagnostic message

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8169 8c9fc860-2736-0410-a75d-ab315db34111
negelef 7 years ago
parent
commit
1b6c5713fd
1 changed files with 1 additions and 1 deletions
  1. 1 1
      source/FoxSemanticChecker.Mod

+ 1 - 1
source/FoxSemanticChecker.Mod

@@ -5234,7 +5234,7 @@ TYPE
 							misusing ASSERT does not make the language clearer nor odes it make the compiler simpler!
 							misusing ASSERT does not make the language clearer nor odes it make the compiler simpler!
 	*)
 	*)
 						IF IsBooleanValue(parameter0,b) & ~b & ~(currentIsUnreachable)  THEN
 						IF IsBooleanValue(parameter0,b) & ~b & ~(currentIsUnreachable)  THEN
-							Error(position, "assert failed");
+							Error(position, "static assertion failed");
 						END;
 						END;
 						IF (numberActualParameters > 1) & CheckIntegerValue(parameter1,i1) THEN
 						IF (numberActualParameters > 1) & CheckIntegerValue(parameter1,i1) THEN
 							(* modified: any integer parameter value is allowed, it is in the responsibility of the programmer to adhere to
 							(* modified: any integer parameter value is allowed, it is in the responsibility of the programmer to adhere to