From ab65bd39e1254f63c85f525e3ff18d78671520a5 Mon Sep 17 00:00:00 2001
From: Greg Shuflin <greg@everydayimshuflin.com>
Date: Wed, 8 Jul 2026 23:00:18 -0700
Subject: [PATCH] Don't need separate run/main

---
 WebcamApp.lean | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/WebcamApp.lean b/WebcamApp.lean
index a6199b0..40af393 100644
--- a/WebcamApp.lean
+++ b/WebcamApp.lean
@@ -63,7 +63,7 @@ partial def webcamLoop (stateRef: IO.Ref WebcamState): IO Unit := do
     if state.running then
       webcamLoop stateRef
 
-def run : IO Unit := do
+def main : IO Unit := do
   unless (← SDL.init (SDL.SDL_INIT_VIDEO ||| SDL.SDL_INIT_CAMERA)) == 1 do
     IO.println "Failed to initialize SDL"
     return
@@ -108,6 +108,3 @@ def run : IO Unit := do
   IO.println "Starting webcam loop..."
   webcamLoop stateRef
   SDL.quit
-
-def main : IO Unit :=
-  run