From 69321f1d3ebae284f5f5f487505778152aa30896 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 25 May 2019 13:22:38 +0200
Subject: [PATCH] _CoqProject formatting

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_CoqProject b/_CoqProject
index 123fc871..f5c3e756 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,6 +1,7 @@
 -Q theories stdpp
 # "Declare Scope" does not exist yet in 8.9
 -arg -w -arg -undeclared-scope
+
 theories/base.v
 theories/tactics.v
 theories/option.v
-- 
GitLab