From 1bbc9962d2f16e4c1798eb6ecf0e0234bc7e7ce7 Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Mon, 23 May 2022 14:34:39 +0200
Subject: correct previous commit typo

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 88ad25a5..9f9f67b3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,7 +35,7 @@ rust-tests/target/
 /fstar-tests
 *~
 nohup.out
-.ocamlformat"
+.ocamlformat
 .vscode
 *#
 *.lock
-- 
cgit v1.2.3