From: Xavier L. <Ba...@us...> - 2012-10-26 22:34:51
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "krobot". The branch, master has been updated via 626a08aeb7e638f96d01ae519611fd42d3f4506b (commit) from cf9f9165a120527867e0bc0815a5a609f5a2e645 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 626a08aeb7e638f96d01ae519611fd42d3f4506b Author: Xavier Lagorce <Xav...@cr...> Date: Sat Oct 27 00:34:20 2012 +0200 [Control2011/example] Missing requirements in krobot_rolling ----------------------------------------------------------------------- Changes: diff --git a/info/control2011/examples/krobot_rolling.ml b/info/control2011/examples/krobot_rolling.ml index c502593..4c85a66 100644 --- a/info/control2011/examples/krobot_rolling.ml +++ b/info/control2011/examples/krobot_rolling.ml @@ -1,4 +1,6 @@ -#use "topfind" +#use "topfind";; +#camlp4o;; +#require "lwt.syntax";; #require "krobot";; open Krobot_bus;; open Krobot_message;; hooks/post-receive -- krobot |