From 66ed000e3914c29d51e24e6c9fc0c96779df7353 Mon Sep 17 00:00:00 2001 From: Olivier Bouissou Date: Sun, 2 Nov 2025 21:29:13 -0500 Subject: [PATCH] Fix filename in user guide --- docs/guide/src/example_usecases.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/guide/src/example_usecases.md b/docs/guide/src/example_usecases.md index 28cd279a..cb1060e3 100644 --- a/docs/guide/src/example_usecases.md +++ b/docs/guide/src/example_usecases.md @@ -7,7 +7,7 @@ The code examples make use of various JVerify features that, unless you've read Without instructions, JVerify will detect many common types of bugs. Here's some code that shows two `NullPointerException`s being detected by JVerify: ```java -{{#include ../../../examples/src/test/java/org/strata/jverify/examples/NullCheck.java}} +{{#include ../../../examples/src/test/java/org/strata/jverify/examples/SimpleNullCheck.java}} ``` #### Prevent dereferencing null without checking it