src: improve messages (and sometime location) of errors and warnings

[nit.git] / src / frontend / div_by_zero.nit

diff --git a/src/frontend/div_by_zero.nit b/src/frontend/div_by_zero.nit
index 6001f01..1e187e2 100644 (file)
--- a/src/frontend/div_by_zero.nit
+++ b/src/frontend/div_by_zero.nit
@@ -80,6 +80,6 @@ private class DivByZeroVisitor
                if not op1.mtype.is_subtype(mmodule, null, int_type) then return
 
                # Error detected
-               toolcontext.error(node.location, "Error: Definitely division by zero")
+               toolcontext.warning(node.location, "div-by-zero", "Warning: division by zero.")
        end
 end