From a25213d259789ddb68a25d7a41bb054d1fd6a83b Mon Sep 17 00:00:00 2001
From: Josh Yelon <jyelon@gmail.com>
Date: Thu, 18 May 2023 22:10:49 -0400
Subject: [PATCH] Remove unneeded declaration

---
 luprex/cpp/drv/readline.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/luprex/cpp/drv/readline.hpp b/luprex/cpp/drv/readline.hpp
index c439f0e4..0b98aaae 100644
--- a/luprex/cpp/drv/readline.hpp
+++ b/luprex/cpp/drv/readline.hpp
@@ -31,7 +31,6 @@ public:
     
     // change the prompt.
     void set_prompt(const CodepointString &prompt);
-    void set_prompt_utf8(const std::string &prompt);
 
     // Use this to print anything on the console.
     void print(const CodepointString &cps);