From 7eb9cce3caca822cbbe1fa3a31ff0b4e0df3c369 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 28 Jan 2011 11:54:00 +0000 Subject: [PATCH] Fix formatting glitch in documentation --- docs/users_guide/using.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 18e9622..ed08f58 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1218,7 +1218,8 @@ foreign import "&f" f :: FunPtr t , - , + : + -- 1.7.10.4