txtLexer: bug fix in parsing the string tokens

[helm.git] / helm / software / lambda-delta / complete_rg / crgBrg.mli

diff --git a/helm/software/lambda-delta/complete_rg/crgBrg.mli b/helm/software/lambda-delta/complete_rg/crgBrg.mli
index db4e54221464e736ace38d5d76ba212f18d4b2ae..84c7f2368c64321739f2724381be9ded539fda8a 100644 (file)
--- a/helm/software/lambda-delta/complete_rg/crgBrg.mli
+++ b/helm/software/lambda-delta/complete_rg/crgBrg.mli
@@ -10,3 +10,5 @@
       V_______________________________________________________________ *)
 
 val brg_of_crg: (Brg.term -> 'a) -> Crg.term -> 'a
+
+val crg_of_brg: (Crg.term -> 'a) -> Brg.term -> 'a