Commit 08a32ec0 authored by Sylvain Soliman's avatar Sylvain Soliman
Browse files

unbreaking validity_domain

parent 07c43fde
......@@ -381,7 +381,7 @@ delete_ltl_pattern(FunctorSet) :-
validity_domain(Formula, Domain) :-
compute_domain('', Formula, none, DomainRaw),
compute_domain('', Formula, none, DomainRaw, standard),
reformat_domain(DomainRaw, Domain).
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment