Procedural: refactoring

[helm.git] / components / acic_procedural / proceduralConversion.ml

diff --git a/components/acic_procedural/proceduralConversion.ml b/components/acic_procedural/proceduralConversion.ml
index 5f705053a1a3e405903fa06d2a081f278c057ffb..53898136940f369667b3625e126d5171690c61aa 100644 (file)
--- a/components/acic_procedural/proceduralConversion.ml
+++ b/components/acic_procedural/proceduralConversion.ml
@@ -31,10 +31,6 @@ module D    = Deannotate
 module UM   = UriManager
 module Rd   = CicReduction
 
-module P    = ProceduralPreprocess
-module T    = ProceduralTypes
-module M    = ProceduralMode
-
 (* helpers ******************************************************************)
 
 let cic = D.deannotate_term