diff options
Diffstat (limited to 'main.ml')
-rw-r--r-- | main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2,7 +2,8 @@ open Ast module Interpret = Interpret.I -module AI = Abs_interp.I(Apron_domain.D) +module IntD = Nonrelational.D(Intervals_domain.VD) +module AI = Abs_interp.I(IntD) (* command line options *) let dump = ref false |