diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-07 18:38:49 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-07 18:38:49 +0000 |
commit | b0deae79d8bae5051a85dc15e43e7b83bc8cf9ab (patch) | |
tree | d73fa7f9fb37077853f824dcecd2a1b8e4d22837 /src/expr/mkmetakind | |
parent | ea5acaba821790dd240db779f2340fbe5fce0b8e (diff) |
Some items from the CVC4 public interface review:
* rename DeclarationScope to SymbolTable
* rename all HashStrategy -> HashFunction (which we often have anyways)
* remove CDCircList (no one is currently using it)
Diffstat (limited to 'src/expr/mkmetakind')
-rwxr-xr-x | src/expr/mkmetakind | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind index 5608d2972..647c1af8e 100755 --- a/src/expr/mkmetakind +++ b/src/expr/mkmetakind @@ -193,7 +193,7 @@ function constant { fi fi if ! expr "$3" : '\(::*\)' >/dev/null; then - echo "$kf:$lineno: warning: constant $1 hasher \`$3' isn't fully-qualified (e.g., ::CVC4::RationalHashFcn)" >&2 + echo "$kf:$lineno: warning: constant $1 hasher \`$3' isn't fully-qualified (e.g., ::CVC4::RationalHashFunction)" >&2 fi if [ -n "$4" ]; then @@ -252,7 +252,7 @@ struct ConstantMapReverse< ::CVC4::kind::$1 > { metakind_constHashes="${metakind_constHashes} case kind::$1: #line $lineno \"$kf\" - return $3::hash(nv->getConst< $2 >()); + return $3()(nv->getConst< $2 >()); " metakind_constPrinters="${metakind_constPrinters} case kind::$1: |