From 54dccdbc7dda7350a71fc24b2938c4cb3f73da89 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 14 May 2023 21:23:22 -0700 Subject: [PATCH] Fix accidentally lowercased shortcode --- content/blog/dyno_alloy/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/dyno_alloy/index.md b/content/blog/dyno_alloy/index.md index 2598944..68eec5a 100644 --- a/content/blog/dyno_alloy/index.md +++ b/content/blog/dyno_alloy/index.md @@ -614,7 +614,7 @@ flags as a field `found`, which will be one of two things: either a `NotSet` sentinel value, representing a scope that hasn't been searched yet. The Alloy code: -{{< codelines "alloy" "dyno-alloy/dynoalloy.als" 21 23 >}} +{{< codelines "alloy" "dyno-alloy/DynoAlloy.als" 21 23 >}} The `NotSet` sentinel value is defined in a very simple way: