From 268ca4db81552e138b66fd1f1e4dfd3b32aec19b Mon Sep 17 00:00:00 2001
From: Anton Shestakov <av6@dwimlabs.net>
Date: Fri, 12 Aug 2016 13:29:27 +0800
Subject: ejabberdsql2prosody: remove unused function pushback() [luacheck]

The same function seems to exist in tools/erlparse.lua, also unused.
---
 tools/ejabberdsql2prosody.lua | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'tools')

diff --git a/tools/ejabberdsql2prosody.lua b/tools/ejabberdsql2prosody.lua
index 69c8cfe8..a9d624aa 100644
--- a/tools/ejabberdsql2prosody.lua
+++ b/tools/ejabberdsql2prosody.lua
@@ -42,10 +42,6 @@ local function read(expected)
 	if expected and ch ~= expected then error("expected: "..expected.."; got: "..(ch or "nil").." on line "..line); end
 	return ch;
 end
-local function pushback(ch)
-	if last then error(); end
-	last = ch;
-end
 local function peek()
 	if not last then last = read(); end
 	return last;
-- 
cgit v1.2.3