diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2018-04-02 13:35:24 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-04-02 13:35:24 -0700 |
commit | 75d15b2cd923f92fd26020e0c8d1786b4396d608 (patch) | |
tree | 3d3e4d4d94c3610b1fadb9a43c44284eea81ca0d /src/parser | |
parent | a917cc2ab4956b542b1f565abf0e62b197692f8d (diff) |
Remove references to nyu (#1721)
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/cvc/Cvc.g | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 6337fb5f6..47bee5740 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1729,8 +1729,7 @@ postfixTerm[CVC4::Expr& f] /* left- or right-shift */ | ( LEFTSHIFT_TOK { left = true; } | RIGHTSHIFT_TOK { left = false; } ) k=numeral - { // Defined in: - // http://www.cs.nyu.edu/acsys/cvc3/doc/user_doc.html#user_doc_pres_lang_expr_bit + { if(left) { f = MK_EXPR(kind::BITVECTOR_CONCAT, f, MK_CONST(BitVector(k))); } else { |