diff options
Diffstat (limited to 'asmcomp/selectgen.mli')
| -rw-r--r-- | asmcomp/selectgen.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/selectgen.mli b/asmcomp/selectgen.mli index f0d9df03fc..bb21b5c10a 100644 --- a/asmcomp/selectgen.mli +++ b/asmcomp/selectgen.mli @@ -49,7 +49,7 @@ module Effect_and_coeffect : sig val none : t val arbitrary : t - val effect : t -> Effect.t + val effect_ : t -> Effect.t val coeffect : t -> Coeffect.t val effect_only : Effect.t -> t |