1 files changed, 0 insertions, 8 deletions
diff --git a/src/runtime/c/pgf/panic.c b/src/runtime/c/pgf/panic.c
deleted file mode 100644
index 2a8553a83..000000000
--- a/src/runtime/c/pgf/panic.c
+++ /dev/null
@@ -1,8 +0,0 @@
-#include "panic.h"
-#include <stdio.h>
-
-void __pgf_panic(char *msg) {
-  printf("%s\n",msg);
-  fflush(stdout);
-  exit(1);
-}