basic_rg: more improvements to the error reporting interface

[helm.git] / helm / software / lambda-delta / basic_rg / brgReduction.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgReduction.ml b/helm/software/lambda-delta/basic_rg/brgReduction.ml
index 08630cde61865bb923944a09fd8f6d309def6fd2..c8d8ddde9917060288ad5cc3694042539525d016 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgReduction.ml
+++ b/helm/software/lambda-delta/basic_rg/brgReduction.ml
@@ -24,8 +24,6 @@ type machine = {
    i: int
 }
 
-type message = (machine, B.term) Log.item list
-
 (* Internal functions *******************************************************)
 
 let level = 5