From b94503ab202a844038e7483a81114c56e64f4d7d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 27 Dec 2013 23:24:31 -0800
Subject: [PATCH] chore(util/sexpr): remove unnecessary decls

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/sexpr/sexpr.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/util/sexpr/sexpr.cpp b/src/util/sexpr/sexpr.cpp
index b24808069..23dee703c 100644
--- a/src/util/sexpr/sexpr.cpp
+++ b/src/util/sexpr/sexpr.cpp
@@ -360,9 +360,6 @@ sexpr read_sexpr(deserializer & d) {
     return d.get_extension<sexpr_deserializer>(g_sexpr_sd.m_d_extid).read();
 }
 
-serializer & operator<<(serializer & s, sexpr const & a);
-sexpr read_sexpr(deserializer & d);
-
 DECL_UDATA(sexpr)
 
 static int sexpr_tostring(lua_State * L) {