From 4e5ed2d6ba574ee6449e511dc27e8da32331dd07 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 10 Mar 2020 03:41:20 -0400
Subject: [clib] Remove module CStack

This is only used in `Ccalgo` and it does not provide any advantage
these days over the upstream OCaml implementation.
---
 plugins/cc/ccalgo.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/cc')

diff --git a/plugins/cc/ccalgo.mli b/plugins/cc/ccalgo.mli
index 3dc934b426..e1d7590ee2 100644
--- a/plugins/cc/ccalgo.mli
+++ b/plugins/cc/ccalgo.mli
@@ -8,7 +8,6 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-open Util
 open Constr
 open Names
 
-- 
cgit v1.2.3