diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-04-18 14:39:34 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-04 13:47:12 +0200 |
| commit | de4b9b68445d9f3e48da789404cbdfcd89214585 (patch) | |
| tree | aa383a63227fd77df70b8cc5c374ca7f08334ccf /plugins/setoid_ring/newring.mli | |
| parent | d2f0db714bd2d393423cf2dcb4ed37913029e052 (diff) | |
Moving the Val module to Geninterp.
Diffstat (limited to 'plugins/setoid_ring/newring.mli')
| -rw-r--r-- | plugins/setoid_ring/newring.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/setoid_ring/newring.mli b/plugins/setoid_ring/newring.mli index 07a1ae833..ca6aba9a0 100644 --- a/plugins/setoid_ring/newring.mli +++ b/plugins/setoid_ring/newring.mli @@ -45,7 +45,7 @@ val ic : constr_expr -> Evd.evar_map * constr val from_name : ring_info Spmap.t ref val ring_lookup : - Genarg.Val.t -> + Geninterp.Val.t -> constr list -> constr list -> constr -> unit Proofview.tactic @@ -73,6 +73,6 @@ val add_field_theory : val field_from_name : field_info Spmap.t ref val field_lookup : - Genarg.Val.t -> + Geninterp.Val.t -> constr list -> constr list -> constr -> unit Proofview.tactic |