X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.ml;h=c4722a8dbc1fb80b59be56d978b7461eee01a3b1;hb=54c8ad92025a9c77c2b10644499b3944e1299187;hp=3d1b0c529930cd21eaddffe6e361251f3af8d4c6;hpb=0aead2922062dc8a4e7dc88fe7776f92ac6c232a;p=goals.git

diff --git a/src/utils.ml b/src/utils.ml
index 3d1b0c5..c4722a8 100644
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -19,6 +19,8 @@
 
 open Printf
 
+external nprocs : unit -> int = "nprocs"
+
 let failwithf fs = ksprintf failwith fs
 
 let (//) = Filename.concat