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();