Merge pull request #5 from euanh/master

Update to stdext 2.0.0
xenserver · Jul 1, 2016 · d2e4563 · d2e4563
2 parents dd74175 + e56e2be
commit d2e4563
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/rrd2csv.ml b/src/rrd2csv.ml
@@ -12,6 +12,7 @@
  * GNU Lesser General Public License for more details.
  *)
 
+open Stdext
 open Pervasiveext
 open Xstringext
 open Listext