diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-03-05 14:29:06 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2019-03-05 14:29:06 -0500 |
| commit | 9bd13e1e66b72ec985e907eb8befb8d394ed2ae0 (patch) | |
| tree | 8d06fb54203a31553786e32293cd41163bc4a06c /src/SlowPrimeSynthesisExamples.v | |
| parent | 36da58eb94445de10f78c17cb01f01ef62a815b9 (diff) | |
Revert "Fix reification of literals"
This reverts commit 36da58eb94445de10f78c17cb01f01ef62a815b9.
It doesn't work without access to var in reification of ident (also we
need to produce ident, not expr)
Diffstat (limited to 'src/SlowPrimeSynthesisExamples.v')
0 files changed, 0 insertions, 0 deletions