From f535e67abef282978d249488d00f2dc9afe92a57 Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Sun, 15 Dec 2024 11:53:04 -0500
Subject: [PATCH] m

---
 src/FileIO/FileIO.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/FileIO/FileIO.dfy b/src/FileIO/FileIO.dfy
index 23b27ea2..82934c21 100644
--- a/src/FileIO/FileIO.dfy
+++ b/src/FileIO/FileIO.dfy
@@ -52,7 +52,7 @@ module {:options "-functionSyntax:4"} FileIO {
     return if isError then Failure(errorMsg) else Success(());
   }
 
-/**
+  /**
     * Attempts to append the given bytes to the file at the given file path,
     * creating nonexistent parent directories as necessary.
     * If an error occurs, a `Result.Failure` value is returned containing an implementation-specific