summaryrefslogtreecommitdiff
path: root/hamlet_test.go
diff options
context:
space:
mode:
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() {