From: Tim King <taking@google.com>
Date: Mon, 1 Feb 2016 19:29:49 +0000 (-0800)
Subject: Generalizing lib/strtok_r.c so that it can always be compiled.
X-Git-Tag: cvc5-1.0.0~6092
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=88a0b432b584ce79892a85b1ef97ba799b9ce01e;p=cvc5.git

Generalizing lib/strtok_r.c so that it can always be compiled.
---

diff --git a/src/lib/strtok_r.c b/src/lib/strtok_r.c
index 320da746e..da49aaada 100644
--- a/src/lib/strtok_r.c
+++ b/src/lib/strtok_r.c
@@ -20,9 +20,11 @@
 #include <stdio.h>
 #include <string.h>
 
+
 #ifdef __cplusplus
 extern "C" {
 #endif /* __cplusplus */
+#ifndef HAVE_STRTOK_R
 
 char* strtok_r(char *str, const char *delim, char **saveptr) {
   if(str == NULL) {
@@ -36,6 +38,7 @@ char* strtok_r(char *str, const char *delim, char **saveptr) {
   }
 }
 
+#endif /* ifndef HAVE_STRTOK_R */
 #ifdef __cplusplus
 }/* extern "C" */
 #endif /* __cplusplus */