X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Frun.mli;h=628124227dbb31a4706157d034fc82faa4e662c8;hb=2a9d33a300ac414c21679c520bc6434d48f499a9;hp=603ad035ac9387ad90d57f268d9c9fc9c6dc3d08;hpb=f36210fd16a8e4e4d6ecdd8825bf8b8307943472;p=goals.git

diff --git a/src/run.mli b/src/run.mli
index 603ad03..6281242 100644
--- a/src/run.mli
+++ b/src/run.mli
@@ -17,7 +17,7 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-val run_targets : Ast.env -> Ast.expr list -> unit
+val run_targets_to_completion : Ast.env -> Ast.expr list -> unit
 (** This drives evaluation of the list of target expressions (in
     parallel) until they are complete or we reach an error.  The
     expressions are either a list of dependencies and/or a list of