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)