Browse Source
Fix: include allways reduce constants
feature/witness_bin
Jordi Baylina
5 years ago
No known key found for this signature in database
GPG Key ID: 7480C80C1BE43112
1 changed files with
1 additions and
1 deletions
-
src/compiler.js
|
|
|
@ -77,8 +77,8 @@ async function compile(srcFile, options) { |
|
|
|
|
|
|
|
classifySignals(ctx); |
|
|
|
|
|
|
|
reduceConstants(ctx); |
|
|
|
if (options.reduceConstraints) { |
|
|
|
reduceConstants(ctx); |
|
|
|
|
|
|
|
// Repeat while reductions are performed
|
|
|
|
let oldNConstrains = -1; |
|
|
|
|
