fix justfile

CQCL · May 16, 2024 · e155011 · e155011
1 parent 86e5e11
commit e155011
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/justfile b/justfile
@@ -18,10 +18,6 @@ test language="[rust|python]" : (_run_lang language \
         "poetry run pytest"
     )
 
-# Run all proptests
-proptest:
-    cargo test --feature proptest '::proptest'
-
 # Run all the benchmarks.
 bench language="[rust|python]": (_run_lang language \
         "cargo bench" \