fix typo (obs from Bernd Gutmann)
This commit is contained in:
parent
74f3142499
commit
6700981b63
@ -319,7 +319,7 @@ atom_concat(X,Y,At) :-
|
||||
var(At) ->
|
||||
'$do_error'(instantiation_error,atom_concat(X,Y,At))
|
||||
;
|
||||
'$do_error'(type_error(atom,At),atomic_concant(X,Y,At))
|
||||
'$do_error'(type_error(atom,At),atomic_concat(X,Y,At))
|
||||
).
|
||||
|
||||
'$atom_contact_split'(At,X,Y) :-
|
||||
@ -360,7 +360,7 @@ atomic_concat(X,Y,At) :-
|
||||
var(At) ->
|
||||
'$do_error'(instantiation_error,atomic_concat(X,Y,At))
|
||||
;
|
||||
'$do_error'(type_error(atomic,At),atomic_concant(X,Y,At))
|
||||
'$do_error'(type_error(atomic,At),atomic_concat(X,Y,At))
|
||||
).
|
||||
|
||||
'$number_contact_split'(At,X,Y) :-
|
||||
|
Reference in New Issue
Block a user