From 8d61fb9ca076f481850425f4424469acbb1afe7c Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Wed, 9 Oct 2024 13:29:57 +0200
Subject: [wip] generate nested terms through pairing function

---
 rust/src/ast.rs | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'rust/src/ast.rs')

diff --git a/rust/src/ast.rs b/rust/src/ast.rs
index 29d548f..cfc0e40 100644
--- a/rust/src/ast.rs
+++ b/rust/src/ast.rs
@@ -88,10 +88,6 @@ mod ast_tests {
     use proptest::collection::vec;
     use proptest::prelude::*;
 
-    fn any_sym() -> impl Strategy<Value = Value> {
-        identifier().prop_map(Sym)
-    }
-
     proptest! {
 
        #[test]
-- 
cgit v1.2.3