diff options
author | Son Ho | 2022-01-18 19:49:24 +0100 |
---|---|---|
committer | Son Ho | 2022-01-18 19:49:24 +0100 |
commit | 2a8fbe0c19b11799f0d1854bc269fc788787bd0e (patch) | |
tree | 1fba872941b34a9c33144679b2dae4da8c4340a7 /src/main.ml | |
parent | e21464bd6fbfd26bc8453995d180a519a10ba867 (diff) |
Start working on TypesAnalysis
Diffstat (limited to 'src/main.ml')
-rw-r--r-- | src/main.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.ml b/src/main.ml index fee51421..df9134e0 100644 --- a/src/main.ml +++ b/src/main.ml @@ -5,6 +5,7 @@ module T = Types module A = CfimAst module I = Interpreter module EL = Easy_logging.Logging +module TA = TypesAnalysis (* This is necessary to have a backtrace when raising exceptions - for some * reason, the -g option doesn't work. |