From 2642a9e361ccbd7bb0a99284e71965e0e7271208 Mon Sep 17 00:00:00 2001
From: d_m <d_m@plastic-idolatry.com>
Date: Sat, 13 Apr 2024 23:57:52 -0400
Subject: [PATCH] improve example

---
 arith.modal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arith.modal b/arith.modal
index 071345d..45deefd 100644
--- a/arith.modal
+++ b/arith.modal
@@ -337,4 +337,4 @@
 -- (str (div (mul a b) c))
 
 -- (mul (nat>neg (nat 13)) (nat>neg (nat 7)))
-(str (mul (int 13) (int 7)))
+(str (mul (int -133) (int 77)))