From 11026e2741b10596a9b904558070b89e75e1036f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 4 Mar 2019 22:03:04 -0700 Subject: [PATCH] remove extraneous slashes in builtins.pl --- src/prolog/lib/builtins.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index c4aaa5b6..bd1d2fc8 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -584,7 +584,7 @@ match_builtins(@>, 2). match_builtins(@<, 2). match_builtins(@>=, 2). match_builtins(@=<, 2). -match_builtins(\\=@=, 2). +match_builtins(\=@=, 2). match_builtins(=@=, 2). match_builtins(copy_term, 2). match_builtins(==, 2). @@ -593,7 +593,7 @@ match_builtins(ground, 1). match_builtins(is, 2). match_builtins(keysort, 2). match_builtins(nl, 0). -match_builtins(\\==, 2). +match_builtins(\==, 2). match_builtins(is_partial_string, 1). match_builtins(partial_string, 2). match_builtins(read, 1). @@ -602,7 +602,7 @@ match_builtins(>, 2). match_builtins(<, 2). match_builtins(>=, 2). match_builtins(=<, 2). -match_builtins(=\\=, 2). +match_builtins(=\=, 2). match_builtins(=:=, 2). match_builtins(atom, 1). match_builtins(atomic, 1). -- 2.54.0