From 7d6e7a5608327d24bf8574bda53dc031d3b91140 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Oct 2022 10:12:03 +0200
Subject: Add meta data with code locations to the various definitions

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 8713e6e4..1f9bd6a1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,7 +43,6 @@ tests/misc/obj/
 /fstar-tests
 *~
 nohup.out
-.ocamlformat
 .vscode
 *#
 *.lock
-- 
cgit v1.2.3