From 7f1f800d73360719d3da659bef94a08af7f83cc8 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Tue, 12 Apr 2016 08:33:01 +0200
Subject: [PATCH] examples: fixed demo.ml so that it compiles with an installed
 OCamlGraph

---
 CHANGES          | 1 +
 examples/demo.ml | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 2a014819..0259a4bf 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,7 @@
 
 * marks some incompatible change
 
+ o fixed examples/demo.ml so that it also compiles with an installed OCamlGraph
  o [Components] fixed stack overflow with [scc] (patch by Albin Coquereau)
  o [Dominator] fixed stack overflow (patch by Albin Coquereau)
  o new functor [Path.Johnson] to compute all pairs of shortest paths
diff --git a/examples/demo.ml b/examples/demo.ml
index 20466654..4b5a8f85 100644
--- a/examples/demo.ml
+++ b/examples/demo.ml
@@ -15,8 +15,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-open Rand
-
 open Sys
 open Format
 open Graph