diff options
Diffstat (limited to 'library/decls.ml')
| -rw-r--r-- | library/decls.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/library/decls.ml b/library/decls.ml index 8a67de4ec..5a8729215 100644 --- a/library/decls.ml +++ b/library/decls.ml @@ -70,7 +70,3 @@ let last_section_hyps dir = with Not_found -> sec_ids) (Environ.named_context (Global.env())) ~init:[] - -let is_section_variable = function - | VarRef _ -> true - | _ -> false |