diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

typo

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-06-17 17:25:13 +01:00
parent e6eff20e82
commit 4123764fcc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/ProbLog/problog/ad_converter.yap
View File

@ -207,7 +207,7 @@
:- module(ad_converter,[term_expansion_intern_ad/4, :- module(ad_converter,[term_expansion_intern_ad/4,
op(1149, yfx, <-- ), op(1149, yfx, <-- ),
op( 550, yfx, :: ) op( 550, yfx, :: )
]). ]). ƒcrete
% general yap modules % general yap modules
:- use_module(library(lists),[member/2,append/3]). :- use_module(library(lists),[member/2,append/3]).
@ -302,7 +302,7 @@ term_expansion_intern_ad((Head<--Body), Module, Mode, [user:ad_intern((Head<--Bo
). ).
term_expansion_intern_ad( (Head<--Body),_,_) :- term_expansion_intern_ad( (Head<--Body),_,_) :-
format(chars(Error), 'Error at compiling the annotated disjunction ~q<--~qb.',[Head,Body]), format(chars(Error), 'Error at compiling the annotated disjunction ~q<--~m.',[Head,Body]),
print_message(error,Error), print_message(error,Error),
fail. fail.