emacs typo :(

This commit is contained in:
Vítor Santos Costa 2014-05-07 09:36:40 +01:00
parent 98daf1ebdd
commit a54a101fb0

View File

@ -320,10 +320,10 @@ yap_flag(discontiguous_warnings,X) :-
var(X), !, var(X), !,
style_check(?(Disc)), style_check(?(Disc)),
( Disc = +discontiguous, ( Disc = +discontiguous,
`X = on X = on
; ;
Disc = -discontiguous, Disc = -discontiguous,
`X = off X = off
), !. ), !.
yap_flag(discontiguous_warnings,X) :- yap_flag(discontiguous_warnings,X) :-
'$transl_to_on_off'(_,X), !, '$transl_to_on_off'(_,X), !,
@ -339,10 +339,10 @@ yap_flag(redefine_warnings,X) :-
var(X), !, var(X), !,
style_check(?(Disc)), style_check(?(Disc)),
( Disc = +multiple, ( Disc = +multiple,
`X = on X = on
; ;
Disc = -multiple, Disc = -multiple,
`X = off X = off
), !. ), !.
yap_flag(redefine_warnings,X) :- yap_flag(redefine_warnings,X) :-
'$transl_to_on_off'(_,X), !, '$transl_to_on_off'(_,X), !,
@ -382,10 +382,10 @@ yap_flag(single_var_warnings,X) :-
var(X), !, var(X), !,
style_check(?(Disc)), style_check(?(Disc)),
( Disc = +singletons, ( Disc = +singletons,
`X = on X = on
; ;
Disc = -singletons, Disc = -singletons,
`X = off X = off
), !. ), !.
yap_flag(single_var_warnings,X) :- yap_flag(single_var_warnings,X) :-
'$transl_to_on_off'(_,X), !, '$transl_to_on_off'(_,X), !,