diff options
| author | Son Ho | 2022-01-27 09:29:26 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-27 09:29:26 +0100 |
| commit | e94a396bceb515b951fc22beb37252ffce34bef6 (patch) | |
| tree | d5698a4f417334c8aabfb1fc802bd11a91f2f6b6 /src/SynthesizeSymbolic.ml | |
| parent | 9bfbafc5f0773037c174da8d4dda036b8b13e4f2 (diff) | |
Cleanup a bit by removing useless `open`
Diffstat (limited to '')
| -rw-r--r-- | src/SynthesizeSymbolic.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/SynthesizeSymbolic.ml b/src/SynthesizeSymbolic.ml index d578a13e..6aec95bd 100644 --- a/src/SynthesizeSymbolic.ml +++ b/src/SynthesizeSymbolic.ml @@ -1,5 +1,3 @@ -open Errors -open Identifiers module C = Collections module T = Types module V = Values |