resolve audit merge conflict

dafny-lang · Mar 18, 2024 · ed9afd7 · ed9afd7
1 parent 8d21559
commit ed9afd7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/audit.log b/audit.log
@@ -1,3 +1,3 @@
-src/Distributions/Uniform/Model.dfy(18,26): Sample: Declaration has explicit `{:axiom}` attribute. 
 src/DafnyVMC.dfy(35,27): UniformSample32: Declaration has `{:verify false}` attribute. 
-src/ProbabilisticProgramming/RandomSource.dfy(50,17): ProbIsProbabilityMeasure: Declaration has explicit `{:axiom}` attribute. 
+src/Distributions/Uniform/Model.dfy(18,26): Sample: Declaration has explicit `{:axiom}` attribute. 
+src/ProbabilisticProgramming/RandomSource.dfy(50,17): ProbIsProbabilityMeasure: Declaration has explicit `{:axiom}` attribute.