summaryrefslogtreecommitdiff
path: root/hamlet_test.go
diff options
context:
space:
mode:
authordemo <demo@antix1>2026-05-30 22:51:24 -0400
committerdemo <demo@antix1>2026-05-30 22:51:24 -0400
commit1d90d466a8f6f23c4cedcfc97438fc10bbd80d3e (patch)
tree8f24dfdd2999e873736f1768895557ffad83623f /hamlet_test.go
parentdd68cfd62603fa728b9707d7f37de092436d94ab (diff)
feat: use Present/Absent instead of New
Diffstat (limited to 'hamlet_test.go')
-rw-r--r--hamlet_test.go4
1 files changed, 2 insertions, 2 deletions
diff --git a/hamlet_test.go b/hamlet_test.go
index ca69425..bbd50fe 100644
--- a/hamlet_test.go
+++ b/hamlet_test.go
@@ -5,8 +5,8 @@ import (
)
func TestAssertion(t *testing.T) {
- p := New("")
- q := New(4)
+ p := Present("")
+ q := Present(4)
theorem1 := If(p, q)
if !theorem1.Assert() {