X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/3196000d8e29e14665f43ffd74460b2e6d592250..c53e82e40cef407de986aa329d31457915ad0dbe:/src/order.sig?ds=sidebyside

diff --git a/src/order.sig b/src/order.sig
index f33941a..a94d17a 100644
--- a/src/order.sig
+++ b/src/order.sig
@@ -27,6 +27,7 @@ signature ORDER = sig
     val providesValue : providers * string -> string option
     (* Look up which file defines a symbol *)
 
-    val order : string list -> providers * string list
+    val order : Env.env option -> string list -> providers * string list
+    (* The first argument gives an environment of known symbols *)
 
 end