Ssreflect Users Discussion List

[Maxime Dénès <>]

Hi Jason,

I believe this has been fixed in some ssr release, so you may want to 
try a more recent version.

Maxime.

On 06/11/2014 09:28 AM, Jason Gross wrote:
> Definition foo : Prop. exact True. Qed.
> Goal foo.
>   rewrite /foo.
> (* Toplevel input, characters 15-27:
> Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please 
> report. *)
>
> This is with ssr 1.4.  (I expected it to be an error, rather than an 
> anomaly.)
>
> -Jason