From 4b7de240edeee362a0b9ca440c22a8b0744cf34b Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 26 Feb 2020 18:04:16 -0600
Subject: Some initial work on using words (#3819)

Towards support for sequences (CVC4/cvc4-projects#23.)
---
 src/theory/strings/word.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/theory/strings/word.cpp')

diff --git a/src/theory/strings/word.cpp b/src/theory/strings/word.cpp
index 655df7da3..a0ee0d224 100644
--- a/src/theory/strings/word.cpp
+++ b/src/theory/strings/word.cpp
@@ -22,6 +22,16 @@ namespace CVC4 {
 namespace theory {
 namespace strings {
 
+Node Word::mkEmptyWord(TypeNode tn)
+{
+  if (tn.isString())
+  {
+    return mkEmptyWord(CONST_STRING);
+  }
+  Unimplemented();
+  return Node::null();
+}
+
 Node Word::mkEmptyWord(Kind k)
 {
   NodeManager* nm = NodeManager::currentNM();
-- 
cgit v1.2.3