From 3a77d9e7e76349c4aa2cb3e2ceb88cc656dedc07 Mon Sep 17 00:00:00 2001
From: Dylan Asmar <asmar@stanford.edu>
Date: Fri, 27 Oct 2023 14:29:30 -0600
Subject: [PATCH] int vs Int typo

---
 src/full_demo.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/full_demo.jl b/src/full_demo.jl
index 48df808..f712f01 100644
--- a/src/full_demo.jl
+++ b/src/full_demo.jl
@@ -80,7 +80,7 @@ function run_lego_demo(;
     optimizer_time_limit::Int=600,
     look_for_previous_milp_solution::Bool=false,
     save_milp_solution::Bool=false,
-    previous_found_optimizer_time::int=30,
+    previous_found_optimizer_time::Int=30,
     stop_after_task_assignment::Bool=false,
     ignore_rot_matrix_warning::Bool=true,
     rng::Random.AbstractRNG=Random.MersenneTwister(1)