python

quasar098 · Feb 7, 2024 · 2476d93 · 2476d93
1 parent 17f7b41
commit 2476d93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dicectf-2024/rps-casino/README.md b/dicectf-2024/rps-casino/README.md
@@ -64,7 +64,7 @@ i just put it into z3
 
 i for some reason couldn't use a bitvec idk why it just wasn't working but the booleans seemed to work
 
-```
+```py
 from z3 import *
 from pwn import *