From e951db662d95725377a349964cb0d8cb6f3b38b7 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Wed, 3 May 2023 21:56:04 +0200
Subject: [PATCH] ENHANCED: allow Roman numerals in strings
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Example:

    ?- X = "ↁ".
       X = "ↁ".

This addresses #1790.
---
 src/parser/macros.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/macros.rs b/src/parser/macros.rs
index 27b106fc7..3e6826c93 100644
--- a/src/parser/macros.rs
+++ b/src/parser/macros.rs
@@ -20,7 +20,7 @@ macro_rules! alpha_char {
 #[macro_export]
 macro_rules! alpha_numeric_char {
     ($c: expr) => {
-        $crate::alpha_char!($c) || $crate::decimal_digit_char!($c)
+        $crate::alpha_char!($c) || $c.is_numeric()
     };
 }