Browse Source

Fix error message, for most IDEs recognises as URI to file row and column

feature/witness_bin
Anton Bukov 5 years ago
parent
commit
64029e1842
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;
const b = gen(ctx, ast.values[1]);
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}\")`;
}

Loading…
Cancel
Save