diff options
| author | Son Ho | 2022-01-27 12:03:39 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-27 12:03:39 +0100 |
| commit | 6294dfefd25b4861b78f2ab113db8b2e8f3bcd26 (patch) | |
| tree | 221f4771629dbc1441b546f5e31c42836908b4e4 /src/SymbolicToPure.ml | |
| parent | b2d5671516b60ae83778b26867a8e5b6060f519d (diff) | |
Start working on PrintPure.ml
Diffstat (limited to '')
| -rw-r--r-- | src/SymbolicToPure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 80d08ac4..e246e804 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -10,6 +10,7 @@ module M = Modules module S = SymbolicAst module TA = TypesAnalysis module L = Logging +module PP = PrintPure (** The local logger *) let log = L.symbolic_to_pure_log |