# HG changeset patch
# User Anton Shestakov <av6@dwimlabs.net>
# Date 1470979767 -28800
# Node ID 2ef93ba18336c99259dbd127204059bce73d35e7
# Parent  ab8324d3b8996c02d376fd03a46698b678e9be6a
ejabberdsql2prosody: remove unused function pushback() [luacheck]

The same function seems to exist in tools/erlparse.lua, also unused.

diff -r ab8324d3b899 -r 2ef93ba18336 tools/ejabberdsql2prosody.lua
--- a/tools/ejabberdsql2prosody.lua	Fri Aug 12 01:38:40 2016 +0200
+++ b/tools/ejabberdsql2prosody.lua	Fri Aug 12 13:29:27 2016 +0800
@@ -42,10 +42,6 @@
 	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;