when sort inclusion is enabled, we can produce conversion constraints in xml

[helm.git] / helm / software / lambda-delta / src / basic_ag / bag.ml

diff --git a/helm/software/lambda-delta/src/basic_ag/bag.ml b/helm/software/lambda-delta/src/basic_ag/bag.ml
index d3ac2c8ee544d22616ba96859df8ec353fde5822..d6432863db8831e43e4b22548209cc2054af8cb6 100644 (file)
--- a/helm/software/lambda-delta/src/basic_ag/bag.ml
+++ b/helm/software/lambda-delta/src/basic_ag/bag.ml
@@ -34,12 +34,6 @@ type lenv = (int * id * bind) list (* location, name, binder *)
 
 type message = (lenv, term) Log.item list
 
-(* helpers ******************************************************************)
-
-let mk_uri si root s =
-   let kernel = if si then "bag-si" else "bag" in
-   String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
-
 (* Currified constructors ***************************************************)
 
 let abst w = Abst w