From 49711e10ed9a1eb0446b458c0b285a67c5675c05 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Tue, 14 Jul 2015 07:41:16 +0200
Subject: [PATCH] implicit import for rationals
---
library/lang/Rational.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/library/lang/Rational.scala b/library/lang/Rational.scala
index 3be89a763..e2d6f7588 100644
--- a/library/lang/Rational.scala
+++ b/library/lang/Rational.scala
@@ -4,6 +4,8 @@ package leon.lang
import leon.annotation._
+import scala.language.implicitConversions
+
@library
case class Rational(numerator: BigInt, denominator: BigInt) {
--
GitLab