From 0ada834ecfcba335ec2f8c2e9defdbcf9d6ca9ca Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 6 Jun 2016 12:50:45 +0000
Subject: remove #pragma options (!macsbug_names)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2720 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/tcsupport_2.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/backendC/CleanCompilerSources/tcsupport_2.c b/backendC/CleanCompilerSources/tcsupport_2.c
index ae57ffb..f39ae69 100644
--- a/backendC/CleanCompilerSources/tcsupport_2.c
+++ b/backendC/CleanCompilerSources/tcsupport_2.c
@@ -4,8 +4,6 @@
 	Author:  Sjaak Smetsers
 */
 
-#pragma options (!macsbug_names)
-
 #include "compiledefines.h"
 #include "types.t"
 #include "system.h"
-- 
cgit v1.2.3