From 34c52fdf8cc2b756b36461e19c12916f6220c4ff Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Thu, 10 Jul 2025 12:25:27 -0600
Subject: [PATCH] Fix #32

---
 tools/prob/caesar.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/prob/caesar.md b/tools/prob/caesar.md
index f514811..e970158 100644
--- a/tools/prob/caesar.md
+++ b/tools/prob/caesar.md
@@ -19,4 +19,4 @@ maintenance = ['Actively Maintained']
 +++
 
 <!-- {{<inactive year="2023">}} -->
-Storm is a tool for the analysis of systems involving random or probabilistic phenomena. 
\ No newline at end of file
+Caesar is a deductive verifier for probabilistic programs.
\ No newline at end of file