From 5eda2dfe0e8b3aa4cec5159ef8b2df1e56d97375 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Thu, 18 Jun 2020 00:09:33 +0200
Subject: [PATCH] put_char/[1,2]: throw type errors for atoms that are not
 characters

Example:

    ?- put_char(hello).
    %@ caught: error(type_error(character,hello),put_char/2)
---
 src/machine/system_calls.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 9edac576..a3943b8b 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -1905,7 +1905,6 @@ impl MachineState {
                                         }
                                     }
                                     _ => {
-                                        unreachable!()
                                     }
                                 }
                             }
-- 
2.54.0