Actions: autoformat

This commit is contained in:
Rasmus Wriedt Larsen
2024-10-28 10:43:46 +01:00
parent 8840f91503
commit 01fa95f98a

View File

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