allowed_presumptions.txt update for #324 (mark_usability bug)

sandialabs · Apr 9, 2024 · 23d81ee · 23d81ee
1 parent 42cc595
commit 23d81ee
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...eit/logic/sets/enumeration/_theory_nbs_/proofs/in_enumerated_set/allowed_presumptions.txt b/...eit/logic/sets/enumeration/_theory_nbs_/proofs/in_enumerated_set/allowed_presumptions.txt
@@ -17,3 +17,4 @@ proveit.logic.booleans.disjunction.associate
 proveit.numbers.numerals.decimals.nat2
 proveit.numbers.numerals.decimals.tuple_len_2_typical_eq
 proveit.logic.sets.enumeration.fold
+proveit.numbers.number_sets.real_numbers.nat_within_real