Might be the case that Ada folks successfully got a bad version of contracts not amenable for compile-time checking into C++, to undermine the competition. Time might tell.
This is some pretty major conspiracy thinking, and would need some serious evidence. Do you have any?
I strongly doubt that C++ is what's standing in the way of Ada being popular.