From 3ba8647971c441307dd61bc67dc2c3705b345b56 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 19 Nov 2018 09:51:05 +0100
Subject: Add a Char module.

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 071066dd86..e2ef5cebe1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -35,6 +35,7 @@ src/ltac2_plugin.mlpack
 
 theories/Init.v
 theories/Int.v
+theories/Char.v
 theories/String.v
 theories/Ident.v
 theories/Array.v
-- 
cgit v1.2.3