From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 8 Jun 2013 23:17:03 +0000 (-0400)
Subject: Fix typos in alttheoryskel
X-Git-Tag: cvc5-1.0.0~7287^2~101
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=28d6311e02f4953558ba42e6d43eb48f1fe7b2ba;p=cvc5.git

Fix typos in alttheoryskel
---

diff --git a/contrib/theoryskel/README.WHATS-NEXT b/contrib/theoryskel/README.WHATS-NEXT
index ede8054ed..b25b6004b 100644
--- a/contrib/theoryskel/README.WHATS-NEXT
+++ b/contrib/theoryskel/README.WHATS-NEXT
@@ -3,9 +3,9 @@ Congratulations, you now have a new theory of $dir !
 Your next steps will likely be:
 
 * to specify theory constants, types, and operators in your \`kinds' file
-* to add typing rules to theory_${dir}_type_rules.h for your operators
+* to add typing rules to theory_$dir_type_rules.h for your operators
   and constants
-* to write code in theory_${dir}_rewriter.h to implement a normal form
+* to write code in theory_$dir_rewriter.h to implement a normal form
   for your theory's terms
 * to write parser rules in src/parser/cvc/Cvc.g to support the CVC input
   language, src/parser/smt/Smt.g to support the (deprecated) SMT-LIBv1