module_property
This commit is contained in:
@@ -851,7 +851,7 @@ zero_pos(I0, Pos, [0|Values]) :-
|
||||
zero_pos(I, Pos, Values).
|
||||
|
||||
one_list([]).
|
||||
one_list(1.Ev) :-
|
||||
one_list([1|Ev]) :-
|
||||
one_list(Ev).
|
||||
|
||||
%
|
||||
|
Submodule packages/real updated: f60caaf8b2...943e05b36e
Reference in New Issue
Block a user