diff options
Diffstat (limited to 'src/slice.ml')
| -rw-r--r-- | src/slice.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/slice.ml b/src/slice.ml index 4b108eb1..aec569cd 100644 --- a/src/slice.ml +++ b/src/slice.ml @@ -327,6 +327,10 @@ let filter_ast cuts g (Defs defs) = | DEF_type tdef :: defs when NM.mem (Type (id_of_typedef tdef)) g -> DEF_type tdef :: filter_ast' g defs | DEF_type _ :: defs -> filter_ast' g defs + | DEF_measure (id,_,_) :: defs when IdSet.mem id cuts -> filter_ast' g defs + | (DEF_measure (id,_,_) as def) :: defs when NM.mem (Function id) g -> def :: filter_ast' g defs + | DEF_measure _ :: defs -> filter_ast' g defs + | def :: defs -> def :: filter_ast' g defs | [] -> [] |