Fix smll example

engboris · engboris · commit 5b60b16a8ad2 · 2025-10-13T21:10:11.000+02:00
diff --git a/examples/smll.sg b/examples/smll.sg
@@ -55,4 +55,4 @@
 
 (:= vehicle [+1 +2])
 ' does not typecheck
-' (::lin vehicle (tens a a)
+' (::lin vehicle (tens a b))
