This commit is contained in:
Vitor Santos Costa
2013-11-13 13:39:30 +00:00
parent 41c2d856a7
commit 7930b4d648
2 changed files with 0 additions and 6 deletions

View File

@@ -1649,11 +1649,6 @@ p_set_yap_flags( USES_REGS1 )
value = IntOfTerm(tvalue);
/* checking should have been performed */
switch(flag) {
case YAP_TO_CHARS_FLAG:
if (value != 0 && value != 1)
return(FALSE);
yap_flags[YAP_TO_CHARS_FLAG] = value;
break;
case LANGUAGE_MODE_FLAG:
if (value < 0 || value > 2)
return(FALSE);