path: root/Test/test0/WhereParsing2.bpl

// RUN: %boogie -noVerify "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
const x: int where x < 0;  // error: where clauses not allowed on constants