From 1c8f4ecb10e645fe1b86dea751bcbc44db39f8dd Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 4 Feb 2020 16:56:18 +0100
Subject: [PATCH] Remove outdated note from :type command help

ProB now returns the types in B syntax rather than internal Prolog
terms.
---
 notebooks/tests/type.ipynb                               | 8 ++------
 src/main/java/de/prob2/jupyter/commands/TypeCommand.java | 2 +-
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/notebooks/tests/type.ipynb b/notebooks/tests/type.ipynb
index a1f6920..7da9987 100644
--- a/notebooks/tests/type.ipynb
+++ b/notebooks/tests/type.ipynb
@@ -12,15 +12,11 @@
        ":type FORMULA\n",
        "```\n",
        "\n",
-       "Display the type of a formula.\n",
-       "\n",
-       "The returned types are *not* standard B types. They are human-readable, but cannot be used in code."
+       "Display the type of a formula."
       ],
       "text/plain": [
        ":type FORMULA\n",
-       "Display the type of a formula.\n",
-       "\n",
-       "The returned types are *not* standard B types. They are human-readable, but cannot be used in code."
+       "Display the type of a formula."
       ]
      },
      "execution_count": 1,
diff --git a/src/main/java/de/prob2/jupyter/commands/TypeCommand.java b/src/main/java/de/prob2/jupyter/commands/TypeCommand.java
index c903189..4a444af 100644
--- a/src/main/java/de/prob2/jupyter/commands/TypeCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/TypeCommand.java
@@ -41,7 +41,7 @@ public final class TypeCommand implements Command {
 	
 	@Override
 	public @NotNull String getHelpBody() {
-		return "The returned types are *not* standard B types. They are human-readable, but cannot be used in code.";
+		return "";
 	}
 	
 	@Override
-- 
GitLab