Skip to content

GitLab

Commit 4bda9864 authored by yoogx's avatar yoogx
Browse files

* Remove now useless function Usage 

        Continuation of issue #33
parent 4ca968f4
Hide whitespace changes
Inline Side-by-side
src/frontends/real/ocarina-fe_real.adb
View file @ 4bda9864
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2016 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -29,15 +29,11 @@
-- --
------------------------------------------------------------------------------
with Ocarina.Output;
with Ocarina.FE_REAL.Parser;
with Ocarina.ME_REAL.Tokens;
package body Ocarina.FE_REAL is
use Ocarina.Output;
----------
-- Init --
----------
......@@ -59,18 +55,4 @@ package body Ocarina.FE_REAL is
null;
end Reset;
-----------
-- Usage --
-----------
procedure Usage is
begin
Write_Line
(" -real_lib Add a REAL file to be used as a theorem " &
"library by REAL annexes");
Write_Line (" -real_theorem <theorem> Evaluate only theorem");
Write_Line
(" -real_continue_eval Continue evaluation in case of failures");
end Usage;
end Ocarina.FE_REAL;
src/frontends/real/ocarina-fe_real.ads
View file @ 4bda9864
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2016 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -37,6 +37,4 @@ package Ocarina.FE_REAL is
procedure Reset;
-- Resets the parser
procedure Usage;
end Ocarina.FE_REAL;
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