Merge branch 'main' into remove-independence-axioms

dafny-lang · Mar 6, 2024 · ed199f0 · ed199f0
2 parents bfb7dda + fdc7a86
commit ed199f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/audit.log b/audit.log
@@ -1,2 +1,2 @@
 src/Distributions/Uniform/Model.dfy(19,26): Sample: Declaration has explicit `{:axiom}` attribute. 
-src/ProbabilisticProgramming/RandomSource.dfy(50,17): ProbIsProbabilityMeasure: Declaration has explicit `{:axiom}` attribute. 
+src/ProbabilisticProgramming/RandomSource.dfy(50,17): ProbIsProbabilityMeasure: Declaration has explicit `{:axiom}` attribute.