Skip to content
Snippets Groups Projects
Commit 49711e10 authored by Regis Blanc's avatar Regis Blanc
Browse files

implicit import for rationals

parent e1a06261
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
library/lang/Rational.scala
+ 2
− 0
View file @ 49711e10
...@@ -4,6 +4,8 @@ package leon.lang ...@@ -4,6 +4,8 @@ package leon.lang
import leon.annotation._ import leon.annotation._
import scala.language.implicitConversions
@library @library
case class Rational(numerator: BigInt, denominator: BigInt) { case class Rational(numerator: BigInt, denominator: BigInt) {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment