|
From: Jérémie D. <Ba...@us...> - 2010-01-28 18:25:01
|
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 bf3fd75b6941a6c1c29615bedf9774f1c2e62bda (commit)
from 815176fcdd53c5846a6541986616e8fa5b708ca8 (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 bf3fd75b6941a6c1c29615bedf9774f1c2e62bda
Author: Jérémie Dimino <je...@di...>
Date: Thu Jan 28 19:23:52 2010 +0100
OBus_type.Pervasives --> OBus_pervasives
-----------------------------------------------------------------------
Changes:
diff --git a/PC_Mainboard/clients/lib-krobot/krobot.ml b/PC_Mainboard/clients/lib-krobot/krobot.ml
index 409939c..9944bbd 100644
--- a/PC_Mainboard/clients/lib-krobot/krobot.ml
+++ b/PC_Mainboard/clients/lib-krobot/krobot.ml
@@ -7,7 +7,7 @@
* This file is a part of [kro]bot.
*)
-open OBus_type.Pervasives
+open OBus_pervasives
open Lwt
lwt bus = Lazy.force OBus_bus.system
diff --git a/PC_Mainboard/daemons/dbus-drivers/card_interface.ml b/PC_Mainboard/daemons/dbus-drivers/card_interface.ml
index be36c16..e483eed 100644
--- a/PC_Mainboard/daemons/dbus-drivers/card_interface.ml
+++ b/PC_Mainboard/daemons/dbus-drivers/card_interface.ml
@@ -9,7 +9,7 @@
(* Driver for the interface card *)
-open OBus_type.Pervasives
+open OBus_pervasives
open Lwt
(* +-----------------------------------------------------------------+
diff --git a/PC_Mainboard/daemons/dbus-drivers/card_motor.ml b/PC_Mainboard/daemons/dbus-drivers/card_motor.ml
index d28df4e..14a4974 100644
--- a/PC_Mainboard/daemons/dbus-drivers/card_motor.ml
+++ b/PC_Mainboard/daemons/dbus-drivers/card_motor.ml
@@ -9,7 +9,7 @@
(* Driver for the motor card *)
-open OBus_type.Pervasives
+open OBus_pervasives
open Lwt
(* +-----------------------------------------------------------------+
diff --git a/PC_Mainboard/daemons/dbus-drivers/card_sensor.ml b/PC_Mainboard/daemons/dbus-drivers/card_sensor.ml
index 6f92c9e..f503c17 100644
--- a/PC_Mainboard/daemons/dbus-drivers/card_sensor.ml
+++ b/PC_Mainboard/daemons/dbus-drivers/card_sensor.ml
@@ -9,7 +9,7 @@
(* Driver for the sensor card *)
-open OBus_type.Pervasives
+open OBus_pervasives
open Lwt
(* +-----------------------------------------------------------------+
hooks/post-receive
--
krobot
|