From ae87f9e5c12cf446d89620e864038dc189fe18d1 Mon Sep 17 00:00:00 2001 From: schillic Date: Sat, 16 Mar 2019 13:52:44 +0100 Subject: [PATCH] fix empty error message --- src/ReachSets/project_reach.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ReachSets/project_reach.jl b/src/ReachSets/project_reach.jl index e5b01136..70133766 100644 --- a/src/ReachSets/project_reach.jl +++ b/src/ReachSets/project_reach.jl @@ -36,7 +36,7 @@ function project_reach( else got_time = false if (xaxis <= 0 || xaxis > n) - throw(DomainError()) + throw(DomainError("value $xaxis for X variable not allowed")) end end @@ -48,7 +48,7 @@ function project_reach( # projection to a state variable yaxis = vars[2] if (yaxis <= 0 || yaxis > n) - throw(DomainError()) + throw(DomainError("value $yaxis for Y variable not allowed")) end projection_matrix = sparse([1, 2], [xaxis, yaxis], [1.0, 1.0], 2, m) else