# HG changeset patch
# User HackBot
# Date 1464794394 0
# Node ID 64d5358eb1d09cabe1e0a30222a587c85a9d30dc
# Parent  8db411fc212383083eb78de7b2d13828f4df857a
<quintopia> learn Mario is a classic PSPACE-complete problem invented by Nintendo.

diff -r 8db411fc2123 -r 64d5358eb1d0 wisdom/mario
--- a/wisdom/mario	Wed Jun 01 12:47:42 2016 +0000
+++ b/wisdom/mario	Wed Jun 01 15:19:54 2016 +0000
@@ -1,1 +1,1 @@
-Mario is a classic NP-hard problem invented by Nintendo.
+Mario is a classic PSPACE-complete problem invented by Nintendo.