Subject: Ssreflect Users Discussion List
List archive
[ssreflect] Anomaly: cvtac's exception: Util.Anomaly("Evar ?952 was not declared", _). Please report.
Chronological Thread
- From: Jason Gross <>
- To: ssreflect <>
- Subject: [ssreflect] Anomaly: cvtac's exception: Util.Anomaly("Evar ?952 was not declared", _). Please report.
- Date: Tue, 1 Jul 2014 19:50:11 +0100
Hi,
The code at https://gist.github.com/JasonGross/8dc86cc1b87087268935 results in "Anomaly: cvtac's exception: Util.Anomaly("Evar ?952 was not declared", _). Please report." I think this is an ssr bug (I'm using version 1.4), but I'm not entirely sure.
-Jason
- [ssreflect] Anomaly: cvtac's exception: Util.Anomaly("Evar ?952 was not declared", _). Please report., Jason Gross, 07/01/2014
Archive powered by MHonArc 2.6.18.