diff options
Diffstat (limited to 'checklink/Frameworks.ml')
-rw-r--r-- | checklink/Frameworks.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml index a35537c..c448734 100644 --- a/checklink/Frameworks.ml +++ b/checklink/Frameworks.ml @@ -64,6 +64,8 @@ type e_framework = { (** We will assign a virtual address to each register that can act as an SDA base register. *) sda_map: (int32 inferrable) IntMap.t; + (** Contains the symbols that we expect to be missing from the .sdump files *) + missing_syms: StringSet.t; } module PosOT = struct |