From 01be548752bcd62bf03d90567959082497ccb42f Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Mon, 10 Jul 2023 07:36:31 -0400
Subject: [PATCH] chore: update stdlib version in new command relates to #672

---
 crates/aiken-project/src/config.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-project/src/config.rs b/crates/aiken-project/src/config.rs
index 66ffd41d..64606e3b 100644
--- a/crates/aiken-project/src/config.rs
+++ b/crates/aiken-project/src/config.rs
@@ -65,7 +65,7 @@ impl Config {
                     owner: "aiken-lang".to_string(),
                     repo: "stdlib".to_string(),
                 },
-                version: "1.1.0".to_string(),
+                version: "1.3.0".to_string(),
                 source: Platform::Github,
             }],
         }