# HG changeset patch
# User HackBot
# Date 1457215527 0
# Node ID 86e9913b2694b27d84602f6355a047a4debe04b9
# Parent  ef7192bf4d318b271d86a86e0c6b69a1a12c702e
<int-e> ` sed -i s/complete/hard/ wisdom/mario

diff -r ef7192bf4d31 -r 86e9913b2694 wisdom/mario
--- a/wisdom/mario	Sat Mar 05 22:02:11 2016 +0000
+++ b/wisdom/mario	Sat Mar 05 22:05:27 2016 +0000
@@ -1,1 +1,1 @@
-Mario is a classic NP-complete problem invented by Nintendo.
+Mario is a classic NP-hard problem invented by Nintendo.