diff options
Diffstat (limited to 'plugins/fourier/fourierR.ml')
| -rw-r--r-- | plugins/fourier/fourierR.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/fourier/fourierR.ml b/plugins/fourier/fourierR.ml index 455f3539b..4c3c48915 100644 --- a/plugins/fourier/fourierR.ml +++ b/plugins/fourier/fourierR.ml @@ -83,7 +83,7 @@ let string_of_R_constant kn = | MPfile dir, sec_dir, id when sec_dir = Dir_path.empty && Dir_path.to_string dir = "Coq.Reals.Rdefinitions" - -> string_of_label id + -> Label.to_string id | _ -> "constant_not_of_R" let rec string_of_R_constr c = |