From b5ae2b4b1cf5aeb730eabf191952130d07ec881f Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 5 Jul 2019 11:05:52 +0200
Subject: [PATCH] Fix: open Sasacore in dot.ml
---
test/rdbg-utils/dot.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/test/rdbg-utils/dot.ml b/test/rdbg-utils/dot.ml
index 96b7de76..432f4230 100644
--- a/test/rdbg-utils/dot.ml
+++ b/test/rdbg-utils/dot.ml
@@ -4,6 +4,7 @@ open Graph
open Graph.Dot_ast
open Data
open Event
+open Sasacore
open Topology
type process = {
--
GitLab