From ab508bb12e8dcf3e661e47fac47589cb8bf93468 Mon Sep 17 00:00:00 2001
From: Jacob Dufault <jacobdufault@gmail.com>
Date: Tue, 27 Feb 2018 23:23:07 -0800
Subject: [PATCH] Revert "[[noreturn]] on cquery_unreachable_internal"

This reverts commit 5db4314a5e3b3010bc5883e8d775e396164d7d85.
---
 src/port.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/port.cc b/src/port.cc
index d1c6d8d1..7f5d5be2 100644
--- a/src/port.cc
+++ b/src/port.cc
@@ -3,7 +3,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 
-[[noreturn]] void cquery_unreachable_internal(const char* msg, const char* file, int line) {
+void cquery_unreachable_internal(const char* msg, const char* file, int line) {
   fprintf(stderr, "unreachable %s:%d %s\n", file, line, msg);
   CQUERY_BUILTIN_UNREACHABLE;
   abort();