From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 5 Mar 2019 05:03:04 +0000 (-0700)
Subject: remove extraneous slashes in builtins.pl
X-Git-Tag: v0.8.110~212
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=11026e2741b10596a9b904558070b89e75e1036f;p=scryer-prolog.git

remove extraneous slashes in builtins.pl
---

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).