diff options
| author | Enrico Tassi | 2021-02-10 13:07:47 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-02-11 18:11:01 +0100 |
| commit | 13b22836272ebf66b3e07bab9a5d1ec253194c95 (patch) | |
| tree | dca0b6e91504a45e554ab406286d195687f206c3 /coqpp | |
| parent | 16765871394a81975047b37f15a902fcc112dc40 (diff) | |
[vernac] pass the loc of the whole command to the interp function
Diffstat (limited to 'coqpp')
| -rw-r--r-- | coqpp/coqpp_main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coqpp/coqpp_main.ml b/coqpp/coqpp_main.ml index 8affe58824..2de103a2ff 100644 --- a/coqpp/coqpp_main.ml +++ b/coqpp/coqpp_main.ml @@ -360,7 +360,7 @@ let print_body_fun state fmt r = print_binders r.vernac_toks print_atts_left r.vernac_atts (print_body_state state) r let print_body state fmt r = - fprintf fmt "@[(%afun %a~atts@ -> coqpp_body %a%a)@]" + fprintf fmt "@[(%afun %a?loc ~atts@ -> coqpp_body %a%a)@]" (print_body_fun state) r print_binders r.vernac_toks print_binders r.vernac_toks print_atts_right r.vernac_atts |