Merge pull request #43 from euanh/master

Update to packed stdext
xenserver · Jul 1, 2016 · e6d6128 · e6d6128
2 parents d26cd4c + cf0f0ce
commit e6d6128
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/src/rrdp_iostat.ml b/src/rrdp_iostat.ml
@@ -12,6 +12,7 @@
  * GNU Lesser General Public License for more details.
  *)
 
+open Stdext
 open Fun
 open Pervasiveext
 open Xstringext

diff --git a/src/rrdp_squeezed.ml b/src/rrdp_squeezed.ml
@@ -12,6 +12,7 @@
  * GNU Lesser General Public License for more details.
  *)
 
+open Stdext
 open Fun
 open Pervasiveext
 open Xenstore

diff --git a/src/rrdp_xenpm.ml b/src/rrdp_xenpm.ml
@@ -19,6 +19,7 @@
    author of the plugin did not manage to add the necessary bindings to
    Xenctrl in time. *)
 
+open Stdext
 open Fun
 open Listext
 open Arrayext