From d3f52e23ede39c4fd7845b6c5feb29d28b2a2384 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 21 Jun 2024 15:47:56 +0200
Subject: Update charon

---
 scripts/update-charon-pin.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/update-charon-pin.sh b/scripts/update-charon-pin.sh
index 1fa706ae..304b2d83 100755
--- a/scripts/update-charon-pin.sh
+++ b/scripts/update-charon-pin.sh
@@ -5,7 +5,7 @@ if ! which jq 2> /dev/null 1>&2; then
 fi
 
 if [ -L charon ]; then
-    echo '`./charon` is a symlink; we using the commit there for our new pin.'
+    echo '`./charon` is a symlink; we will use the commit there for our new pin.'
     COMMIT="$(git -C charon rev-parse HEAD)"
     nix flake lock --override-input charon "github:aeneasverif/charon/$COMMIT"
 else
-- 
cgit v1.2.3