diff options
Diffstat (limited to 'contrib/correctness/pcicenv.ml')
-rw-r--r-- | contrib/correctness/pcicenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/correctness/pcicenv.ml b/contrib/correctness/pcicenv.ml index 4663b3e37..63c176217 100644 --- a/contrib/correctness/pcicenv.ml +++ b/contrib/correctness/pcicenv.ml @@ -27,7 +27,7 @@ let modify_sign id t s = fold_named_context (fun ((x,b,ty) as d) sign -> if x=id then add_named_decl (x,b,t) sign else add_named_decl d sign) - s empty_named_context + s ~init:empty_named_context let add_sign (id,t) s = try |