Commit 18ff7fb6 authored by Jerome Hugues's avatar Jerome Hugues

* Remove useless trace

parent 46bfbed8
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2013-2015 ESA & ISAE. --
-- Copyright (C) 2013-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- --
......@@ -145,7 +145,6 @@ package body Ocarina.Utils is
function Set_REAL_Theorem (Theorem_Name : String) return Boolean is
begin
if Theorem_Name /= "" then
Write_Line ("Been there");
Main_Theorem := To_Lower (Get_String_Name (Theorem_Name));
end if;
......
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