From 965eb4739e3bf1a659b0323497c312daae5b78e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 1 Feb 2016 03:18:57 +0000
Subject: [PATCH] Linux patches

---
 os/sysbits.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/sysbits.c b/os/sysbits.c
index 2771bc9c4..f5533fc47 100644
--- a/os/sysbits.c
+++ b/os/sysbits.c
@@ -769,7 +769,7 @@ do_expand_file_name(Term t1, Term opts USES_REGS)
           if (!use_system_expansion) {
             use_system_expansion = true;            
 #ifdef WRDE_NOCMD
-            if (t == TermFalse) {`
+            if (t == TermFalse) {
               flags = WRDE_NOCMD;
             }
 #endif