From fa4aaee86557b46ad2479156466910e679ffcd4d Mon Sep 17 00:00:00 2001
From: Timothy Bourke <tim@tbrk.org>
Date: Sat, 8 Apr 2017 20:28:55 +0200
Subject: [PATCH] Typedef for real in C target

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

diff --git a/lib/c/pervasives.h b/lib/c/pervasives.h
index 87041db..f6d197e 100644
--- a/lib/c/pervasives.h
+++ b/lib/c/pervasives.h
@@ -32,6 +32,8 @@
 #ifndef DECADES_PERVASIVES_H
 #define DECADES_PERVASIVES_H
 
+typedef float real;
+
 /* between(i, n) returns idx between 0 and n-1. */
 static inline int between(int idx, int n)
 {