diff --git a/cmd/prague/main.go b/cmd/prague/main.go
index 18e9618..39f36ed 100644
--- a/cmd/prague/main.go
+++ b/cmd/prague/main.go
@@ -31,6 +31,7 @@ func main() {
 	fmt.Println("2935")
 	test2935()
 	test7002()
+	test7251()
 }
 
 func testTouchContracts() {