From 8d77b7434bdeab1a5ab7f725ad09824ebb6e54cb Mon Sep 17 00:00:00 2001
From: Tom Barthe <tom.barthe@ens-paris-saclay.fr>
Date: Mon, 28 Dec 2020 04:39:16 +0100
Subject: [PATCH] Add a typedef for char* as string

---
 lib/c/pervasives.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/c/pervasives.h b/lib/c/pervasives.h
index 720f3f1..df8afbe 100644
--- a/lib/c/pervasives.h
+++ b/lib/c/pervasives.h
@@ -34,6 +34,7 @@
 #include <string.h>
 
 typedef float real;
+typedef char *string;
 
 /* between(i, n) returns idx between 0 and n-1. */
 static inline int between(int idx, int n)