From ed9afd7edba8ece726937539e8d6335a42556863 Mon Sep 17 00:00:00 2001
From: stefan-aws <stefanze@amazon.com>
Date: Mon, 18 Mar 2024 13:30:49 +0000
Subject: [PATCH] resolve audit merge conflict

---
 audit.log | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/audit.log b/audit.log
index 369366a0..4818bc54 100644
--- 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. 
\ No newline at end of file
+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.