From 4b749fc33335cee2de50e31776ddae1f73649a7b Mon Sep 17 00:00:00 2001
From: VoR0220 <catalanor0220@gmail.com>
Date: Tue, 29 Mar 2016 15:08:51 -0500
Subject: changed names for Rational Constants and categories

---
 libsolidity/formal/Why3Translator.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'libsolidity/formal/Why3Translator.cpp')

diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp
index e6f759aa..5921b9a4 100644
--- a/libsolidity/formal/Why3Translator.cpp
+++ b/libsolidity/formal/Why3Translator.cpp
@@ -428,9 +428,9 @@ bool Why3Translator::visit(BinaryOperation const& _binaryOperation)
 	Type const& commonType = *_binaryOperation.annotation().commonType;
 	Token::Value const c_op = _binaryOperation.getOperator();
 
-	if (commonType.category() == Type::Category::NumberConstant)
+	if (commonType.category() == Type::Category::RationalNumber)
 	{
-		auto const& constantNumber = dynamic_cast<ConstantNumberType const&>(commonType);
+		auto const& constantNumber = dynamic_cast<RationalNumberType const&>(commonType);
 		if (constantNumber.denominator() != bigint(1))
 			error(_binaryOperation, "Fractional numbers not supported.");
 		add("(of_int " + toString(commonType.literalValue(nullptr)) + ")");
@@ -592,9 +592,9 @@ bool Why3Translator::visit(Literal const& _literal)
 		else
 			add("true");
 		break;
-	case Type::Category::NumberConstant:
+	case Type::Category::RationalNumber:
 	{
-		auto const& constantNumber = dynamic_cast<ConstantNumberType const&>(*type);
+		auto const& constantNumber = dynamic_cast<RationalNumberType const&>(*type);
 		if (constantNumber.denominator() != 1)
 			error(_literal, "Fractional numbers not supported.");
 		add("(of_int " + toString(type->literalValue(&_literal)) + ")");
-- 
cgit v1.2.3