Fix syntax error in ql library

This commit is contained in:
Andrew Eisenberg
2020-05-26 11:38:44 -07:00
committed by Andrew Eisenberg
parent 0817abd6ac
commit 8262ecf990

View File

@@ -1,3 +1,3 @@
predicate foo() {
1 == 1
}
1 = 1
}