remove unnecessary use of partial_string in bimetatrans example

diff --git a/src/prolog/examples/bimetatrans_ruleml.pl b/src/prolog/examples/bimetatrans_ruleml.pl
index ea56c2e2769825e60ba853eb0261a9647a34f264..d33b5bd85f0e567946b14b9f7db8c4e147acf1a7 100644 (file)
--- 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) :-