From 7ffbf6a3c8948b688d9e77ee35664acd07420fda Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Fri, 17 Dec 2021 09:30:04 -0500
Subject: [PATCH] renamed governor sanity script

---
 certora/scripts/{sanity.sh => sanityGovernor.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename certora/scripts/{sanity.sh => sanityGovernor.sh} (100%)

diff --git a/certora/scripts/sanity.sh b/certora/scripts/sanityGovernor.sh
similarity index 100%
rename from certora/scripts/sanity.sh
rename to certora/scripts/sanityGovernor.sh