Rename Graph to Sgraph
The Graph module name is already used in OCamlGraph
This commit is contained in:
parent
7787428f34
commit
197e24b73e
5 changed files with 4 additions and 4 deletions
|
@ -14,7 +14,7 @@ open Names
|
|||
open Idents
|
||||
open Heptagon
|
||||
open Location
|
||||
open Graph
|
||||
open Sgraph
|
||||
open Format
|
||||
open Pp_tools
|
||||
|
||||
|
|
|
@ -14,7 +14,7 @@ open Names
|
|||
open Idents
|
||||
open Heptagon
|
||||
open Location
|
||||
open Graph
|
||||
open Sgraph
|
||||
open Causal
|
||||
|
||||
let cempty = Cempty
|
||||
|
|
|
@ -12,7 +12,7 @@
|
|||
open Misc
|
||||
open Minils
|
||||
open Mls_utils
|
||||
open Graph
|
||||
open Sgraph
|
||||
open Dep
|
||||
|
||||
(* possible overlapping between clocks *)
|
||||
|
|
|
@ -8,7 +8,7 @@
|
|||
(**************************************************************************)
|
||||
(* dependences between equations *)
|
||||
|
||||
open Graph
|
||||
open Sgraph
|
||||
open Idents
|
||||
|
||||
module type READ =
|
||||
|
|
Loading…
Reference in a new issue