From aedffb3cfebebb45a4ff14bd63c7c1058b2fefa2 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 11 Apr 2020 22:02:17 -0600 Subject: [PATCH] remove unnecessary use of partial_string in bimetatrans example --- src/prolog/examples/bimetatrans_ruleml.pl | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/prolog/examples/bimetatrans_ruleml.pl b/src/prolog/examples/bimetatrans_ruleml.pl index ea56c2e2..d33b5bd8 100644 --- a/src/prolog/examples/bimetatrans_ruleml.pl +++ b/src/prolog/examples/bimetatrans_ruleml.pl @@ -1,7 +1,6 @@ :- module(ruleml_xml_parser, [parse_ruleml/3]). :- use_module(library(dcgs)). -:- use_module(library(iso_ext)). :- set_prolog_flag(double_quotes, chars). @@ -781,11 +780,7 @@ ruleml_var_contents(Cs) --> * constant_chars(+Type, +Constant, -Chars) */ -constant_chars(string, Constant, Chars) :- - ( var(Constant) -> - catch(partial_string(Chars, Constant, []), _, false) - ; catch(partial_string(Constant, Chars, []), _, false) - ). +constant_chars(string, Chars, Chars). constant_chars(number, Constant, Chars) :- catch(number_chars(Constant, Chars), _, false). constant_chars(symbol, Constant, Chars) :- -- 2.54.0