diff --git a/src/attributes.jl b/src/attributes.jl
index 94b0bf2022..ad3ca78f26 100644
--- a/src/attributes.jl
+++ b/src/attributes.jl
@@ -920,8 +920,11 @@ most recent call to [`compute_conflict!`](@ref).
 Possible values are:
 * `COMPUTE_CONFLICT_NOT_CALLED`: the function [`compute_conflict!`](@ref) has
   not yet been called
-* `NO_CONFLICT_EXISTS`: there is no conflict because the problem is feasible
-* `NO_CONFLICT_FOUND`: the solver could not find a conflict
+* `NO_CONFLICT_EXISTS`: there is no conflict available, because the solver could 
+  prove that the problem is feasible (i.e. there are no conflicts)
+* `NO_CONFLICT_FOUND`: there is no conflict available, because the function 
+  [`compute_conflict!`](@ref) has failed to completely execute (e.g., because it 
+  met a time limit)
 * `CONFLICT_FOUND`: at least one conflict could be found
 """
 @enum ConflictStatusCode begin