From f168942c307f210173e440c8f2943a0a984b3de6 Mon Sep 17 00:00:00 2001
From: Cole K <cole-k@users.noreply.github.com>
Date: Wed, 11 Dec 2024 14:54:06 -0800
Subject: [PATCH] fix typo in import

---
 book/src/guide/run.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book/src/guide/run.md b/book/src/guide/run.md
index 94a6aea8e4..590658a807 100644
--- a/book/src/guide/run.md
+++ b/book/src/guide/run.md
@@ -59,7 +59,7 @@ flux-rs = { git  = "https://github.com/flux-rs/flux.git" }
 Then, import attributes from `flux_rs` and add the appropriate refinement annoations.
 
 ```rust
-use flux_rs::*
+use flux_rs::*;
 
 #[sig(fn(x: i32) -> i32{v: x < v)]
 fn inc(x: i32) -> i32 {