Fix formatting

This commit is contained in:
Dave Bartolomeo
2024-10-25 20:32:01 -04:00
parent 4a567344f5
commit 8840f91503

View File

@@ -1 +1,3 @@
// Placeholder
predicate placeholder(int x) {
x = 0
}