X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/6b8b767b19126e3dae16613dff8b15604763ac5d..950a4fad9c7e5e41cc65c5f12a4031ec23203854:/util.sig

diff --git a/util.sig b/util.sig
index 71abe39..d6f9d5c 100644
--- a/util.sig
+++ b/util.sig
@@ -15,6 +15,7 @@ sig
     val makeSet : ('a -> string) -> 'a list -> string
     val neg : real -> real
     val add : real * real -> real
+    val sub : real * real -> real
     val mult : int * real -> real
 
     val validHost : string -> bool