From 7295b9087c92b77a098899c884bd1aa2a4064483 Mon Sep 17 00:00:00 2001 From: ValorZard Date: Fri, 29 Aug 2025 10:39:25 -0700 Subject: [PATCH] IT WORKS (kinda) --- Engine.lean | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Engine.lean b/Engine.lean index 14aab5c..bdc2f53 100644 --- a/Engine.lean +++ b/Engine.lean @@ -175,12 +175,12 @@ partial def run : IO Unit := do SDL.quit return -/- - unless (← SDL.createRenderer) != 0 do + + unless (← SDL.createRenderer ()) != 0 do IO.println "Failed to create renderer" SDL.quit return --/ + let initialState : EngineState := { deltaTime := 0.0, lastTime := 0, running := true,