typo judge

GasStationManager · Nov 24, 2024 · f8c4599 · f8c4599
1 parent f7692c4
commit f8c4599
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/services/judge.py b/app/services/judge.py
@@ -87,7 +87,7 @@ def check_lean_proof(challenge: dict, submission: dict) -> dict:
 {function_sig}
 {code}
 """)
-                f.write(f"\n\n{challenge['theorem2_signature']}\n\n{proof2}")
+                f.write(f"\n\n{challenge['theorem2_signature']}\n\n{prf2}")
 
         def compile (fname):
             # compile on the temporary file