diff options
author | Son Ho | 2021-11-19 18:26:00 +0100 |
---|---|---|
committer | Son Ho | 2021-11-19 18:26:00 +0100 |
commit | 4a28b75fe834878b1c93d1fe6fe8a02576957f75 (patch) | |
tree | 8c968f4fffccabdad88ef52ac6c7617b10c7ba3b /src/main.ml | |
parent | ef830bd7bedcad8b465aa4ac92cff30649426ea4 (diff) |
Start working on pretty-printing
Diffstat (limited to 'src/main.ml')
-rw-r--r-- | src/main.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.ml b/src/main.ml index 9ba76a18..024209ff 100644 --- a/src/main.ml +++ b/src/main.ml @@ -1,5 +1,7 @@ open CfimOfJson + (*open Interpreter*) +open Print let () = let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in |