From a19462ddb88de9570e7c811e0ffa17964c98f936 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 30 May 2014 16:16:21 +0200
Subject: [PATCH] Add FIXME.

---
 src/instr/instr_private.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index dd531af82e..2b56b6dce8 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -17,6 +17,7 @@
 SG_BEGIN_DECL()
 
 /* Need to define function drand48 for Windows */
+/* FIXME: use _drand48() defined in src/surf/random_mgr.c instead */
 #ifdef _WIN32
 #  define drand48() (rand()/(RAND_MAX + 1.0))
 #endif
-- 
2.20.1