From e452bb052b6c1afbaaa72efb653ea31561333866 Mon Sep 17 00:00:00 2001
From: fab <fabrice.leal.ch@gmail.com>
Date: Tue, 11 Dec 2018 22:16:37 +0000
Subject: exhaustive testing brought to selenium. bug fix in isspace. useful
 function to test if char is <128

---
 lib/ur/basis.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c9d6556b..c893e65d 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -80,6 +80,7 @@ val ord : char -> int
 val chr : int -> char
 
 val iscodepoint : int -> bool
+val issingle : char -> bool
 
 (** String operations *)
 
-- 
cgit v1.2.3