X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.mli;h=c63db29b01e25c1adbd3c83d05587db34f40079a;hb=692f7e7a70572c5f4f7242ce721a674a75b34e06;hp=1979a34206f47ce2c767bf80e665dd0a0ed5e9c5;hpb=0aead2922062dc8a4e7dc88fe7776f92ac6c232a;p=goals.git

diff --git a/src/utils.mli b/src/utils.mli
index 1979a34..c63db29 100644
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -17,6 +17,9 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
+val nprocs : unit -> int
+(** Return the number of processors on the system. *)
+
 val failwithf : ('a, unit, string, 'b) format4 -> 'a
 (** Like [failwith] but supports printf-like arguments. *)