[ASSIST-DV] remove unused none statement.

ge-high-assurance · Jan 24, 2022 · 9ff547c · 9ff547c
1 parent 20c4c14
commit 9ff547c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/assist/bin/rack/model.pl b/assist/bin/rack/model.pl
@@ -102,8 +102,6 @@
     prolog_to_os_filename(Y, FilePath).
 
 
-none(CandidateQuery, Pred) :- call(CandidateQuery, C), none_of(C, Pred).
-
 none_of(Candidate, Pred) :- call(Pred, Candidate), !, fail.
 none_of(_, _).