From dbc8bda5da05ac8cb6e4adb598d30809db0beddb Mon Sep 17 00:00:00 2001
From: Malvin Gattinger <malvin@w4eg.de>
Date: Fri, 6 Mar 2026 10:55:50 +0100
Subject: [PATCH] add "open LSpec" to get Quick Start example working

---
 LSpec/LSpec.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/LSpec/LSpec.lean b/LSpec/LSpec.lean
index a4fc129..7d91d2e 100644
--- a/LSpec/LSpec.lean
+++ b/LSpec/LSpec.lean
@@ -19,6 +19,8 @@ LSpec provides three main ways to define tests:
 ```lean
 import LSpec
 
+open LSpec
+
 -- Simple unit tests using #lspec
 #lspec test "basic arithmetic" (2 + 2 = 4)