Add report on who hasn't migrated yet

[hcoop/zz_old/portal.git] / init.sig

diff --git a/init.sig b/init.sig
index 5c98e17..1c5f0a2 100644 (file)
--- a/init.sig
+++ b/init.sig
@@ -35,6 +35,7 @@ signature INIT = sig
     val modUser : user -> unit
     val deleteUser : int -> string
     val byPledge : unit -> user list
+    val unmigratedUsers : unit -> user list
 
     val validUsername : string -> bool
     val userNameToId : string -> int option