From c2b5b6a36b1b20a8d729b8ca53678324dd2f59c6 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 10 Dec 2014 19:45:18 +0000
Subject: [PATCH] typo

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/z3_fpa.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_fpa.h b/src/api/z3_fpa.h
index f04b87ea3..6042fc044 100644
--- a/src/api/z3_fpa.h
+++ b/src/api/z3_fpa.h
@@ -180,7 +180,7 @@ extern "C" {
 
     def_API('Z3_mk_fpa_sort_64', SORT, (_in(CONTEXT),))
     */
-    Z3_sort Z3_API Z3_mk_fpa_sort__64(__in Z3_context c);
+    Z3_sort Z3_API Z3_mk_fpa_sort_64(__in Z3_context c);
 
     /**
         \brief Create the quadruple-precision (128-bit) floating point sort.