From 3fb7f0111b060e69247ecc77b97b111da209f6c2 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 27 Nov 2018 15:46:25 +0100
Subject: Remove forgotten link to removed document cic.dtd.

---
 dev/README.md | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/README.md')

diff --git a/dev/README.md b/dev/README.md
index d9fdd230d3..9761f7b96f 100644
--- a/dev/README.md
+++ b/dev/README.md
@@ -25,7 +25,6 @@
 | [`dev/doc/universes.txt`](doc/universes.txt) |  Help for debugging universes |
 | [`dev/doc/extensions.txt`](doc/extensions.txt) | Some help about TACTIC EXTEND |
 | [`dev/doc/perf-analysis`](doc/perf-analysis)|  Analysis of perfs measured on the compilation of user contribs |
-| [`dev/doc/cic.dtd`](doc/cic.dtd) | Official dtd of the calc. of ind. constr. for im/ex-portation |
 | [`dev/doc/econstr.md`](doc/econstr.md) | Describes `Econstr`, implementation of treatment of `evar` in the engine |
 | [`dev/doc/primproj.md`](doc/primproj.md) | Describes primitive projections |
 | [`dev/doc/proof-engine.md`](doc/proof-engine.md) | Tutorial on new proof engine |
-- 
cgit v1.2.3