From 03d9f62f99afbae961fbf5846f015be5f6eee2b1 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Mon, 1 Dec 2025 17:32:33 +0100
Subject: fix eslint errors and warnings

---
 pbt/ts/src/property.test.ts | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pbt/ts/src/property.test.ts')

diff --git a/pbt/ts/src/property.test.ts b/pbt/ts/src/property.test.ts
index c4e089d..920457a 100644
--- a/pbt/ts/src/property.test.ts
+++ b/pbt/ts/src/property.test.ts
@@ -4,12 +4,11 @@ import {
   property,
   shrinkPair,
   shrinkPositive,
-  someInt,
 } from './property';
 
 // from https://github.com/jlink/shrinking-challenge/blob/main/challenges/difference.md
 const predicate1: (pair: [number, number]) => boolean = ([x, y]) =>
-  x < 10 || x != y;
+  x < 10 || x !== y;
 
 describe('Find minimal counterexample', () => {
   test('do not shrink example if no shrinker given', () => {
-- 
cgit v1.3.1