diff options
Diffstat (limited to 'kernel/context.ml')
| -rw-r--r-- | kernel/context.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/context.ml b/kernel/context.ml index 6b5a6cdb9..e43e08865 100644 --- a/kernel/context.ml +++ b/kernel/context.ml @@ -80,7 +80,7 @@ let rel_context_tags ctx = let rec aux l = function | [] -> l | (_,Some _,_)::ctx -> aux (true::l) ctx - | (_,None _,_)::ctx -> aux (false::l) ctx + | (_,None,_)::ctx -> aux (false::l) ctx in aux [] ctx (*s Signatures of named hypotheses. Used for section variables and |