Browse Source

Merge pull request #41 from k06a/fix/error-message

Fix error message, for most IDEs recognises as URI to file row and column
feature/witness_bin
Jordi Baylina 5 years ago
committed by GitHub
parent
commit
230894921e
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      src/gencode.js

+ 1
- 1
src/gencode.js

@ -422,7 +422,7 @@ function genConstrain(ctx, ast) {
if (ctx.error) return; if (ctx.error) return;
const b = gen(ctx, ast.values[1]); const b = gen(ctx, ast.values[1]);
if (ctx.error) return; if (ctx.error) return;
const strErr = ast.fileName +": "+ast.first_line;
const strErr = ast.fileName + ":" + ast.first_line + ":" + ast.first_column;
return `ctx.assert(${a}, ${b}, \"${strErr}\")`; return `ctx.assert(${a}, ${b}, \"${strErr}\")`;
} }

Loading…
Cancel
Save