Commit 7e899fb3 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

minor

parent 4303825c
......@@ -52,7 +52,7 @@ module FibRecGhost "recursive version, using ghost code"
exception BenchFailure
let bench () raises { BenchFailure -> true } =
let bench () raises { BenchFailure } =
if test42 () <> 267914296 then raise BenchFailure
end
......@@ -338,7 +338,7 @@ module FibonacciLogarithmic
exception BenchFailure
let bench () raises { BenchFailure -> true } =
let bench () raises { BenchFailure } =
if test42 () <> 267914296 then raise BenchFailure;
if test2014 () <> 3561413997540486142674781564382874188700994538849211456995042891654110985470076818421080236961243875711537543388676277339875963824466334432403730750376906026741819889036464401788232213002522934897299928844192803507157647764542466327613134605502785287441134627457615461304177503249289874066244145666889138852687147544158443155204157950294129177785119464446668374163746700969372438526182906768143740891051274219441912520127
then raise BenchFailure
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment