Commit 99ed6f79 authored by jhugues's avatar jhugues
Browse files

* Warn when evaluting a theorem on an empty set

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 02904802
......@@ -312,6 +312,11 @@ package body Ocarina.Backends.REAL is
Write_Line ("Evaluating theorem "
& Get_Name_String (Name (Identifier (R))));
Write_Line ("");
if Cardinal (Range_Set) = 0 then
Write_Line ("Warning: evaluating theorem on an empty set");
end if;
for J in 1 .. Cardinal (Range_Set) loop
Current_Range_Variable := Get (Range_Set, J);
Supports Markdown
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