From 81f220a4d2b3e7ab702732b61c8dfe13770ebccc Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 27 Oct 2019 20:50:21 -0600
Subject: [PATCH] replace \n\r and \r\n by \n (#221)

---
 src/prolog/machine/machine_state.rs |  2 +-
 src/prolog/machine/mod.rs           | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs
index 813face9..318d8c13 100644
--- a/src/prolog/machine/machine_state.rs
+++ b/src/prolog/machine/machine_state.rs
@@ -706,7 +706,7 @@ pub(crate) trait CallPolicy: Any {
             &BuiltInClauseType::Nl => {
                 let mut stdout = stdout();
 
-                write!(stdout, "\n\r").unwrap();
+                write!(stdout, "\n").unwrap();
                 stdout.flush().unwrap();
                 return_from_clause!(machine_st.last_call, machine_st)
             }
diff --git a/src/prolog/machine/mod.rs b/src/prolog/machine/mod.rs
index 50aba7f6..dfd43ae2 100644
--- a/src/prolog/machine/mod.rs
+++ b/src/prolog/machine/mod.rs
@@ -722,11 +722,11 @@ impl Machine {
 
                     let result = match keypress {
                         ContinueResult::ContinueQuery => {
-			    print!(" ;\r\n");
+			    print!(" ;\n");
                             self.continue_query(&alloc_locs)
                         }
                         ContinueResult::Conclude => {
-			    print!(" ...\r\n");
+			    print!(" ...\n");
                             self.absorb_snapshot(snapshot);
                             return;
                         }
@@ -738,7 +738,7 @@ impl Machine {
                                 self.propagate_exception_to_toplevel(snapshot);
                                 return;
                             } else {
-				print!("false.\r\n");
+				print!("false.\n");
                                 self.absorb_snapshot(snapshot);
                                 return;
                             }
@@ -752,7 +752,7 @@ impl Machine {
                     }
                 } else {
                     if bindings.is_empty() && attr_goals.is_empty() {
-                        print!("true.\r\n");
+                        print!("true.\n");
                     } else {
                         let space = if !attr_goals.is_empty() {
                             if requires_space(&attr_goals, ".") {
@@ -768,7 +768,7 @@ impl Machine {
                             }
                         };
 
-			print!("{}.\r\n", space);
+			print!("{}.\n", space);
                     }
 
                     break;
-- 
2.54.0