From 2476d93c74d3a85365d631868b7396dff2054cdb Mon Sep 17 00:00:00 2001
From: quasar098 <70716985+quasar098@users.noreply.github.com>
Date: Tue, 6 Feb 2024 22:34:11 -0500
Subject: [PATCH] python

---
 dicectf-2024/rps-casino/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dicectf-2024/rps-casino/README.md b/dicectf-2024/rps-casino/README.md
index 631e223..d07cee9 100644
--- 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 *