diff --git a/src/main/java/de/prob2/jupyter/ProBKernel.java b/src/main/java/de/prob2/jupyter/ProBKernel.java index 53a6b243d4b3288a5f44e5c7fdb415ce017aeda6..887fd203a93ce26a7fb81dbc1f5661dada6712eb 100644 --- a/src/main/java/de/prob2/jupyter/ProBKernel.java +++ b/src/main/java/de/prob2/jupyter/ProBKernel.java @@ -24,6 +24,7 @@ import de.prob.statespace.AnimationSelector; import de.prob.statespace.Trace; import de.prob2.jupyter.commands.AssertCommand; import de.prob2.jupyter.commands.BrowseCommand; +import de.prob2.jupyter.commands.BsymbCommand; import de.prob2.jupyter.commands.CheckCommand; import de.prob2.jupyter.commands.Command; import de.prob2.jupyter.commands.CommandExecutionException; diff --git a/src/main/java/de/prob2/jupyter/BsymbCommand.java b/src/main/java/de/prob2/jupyter/commands/BsymbCommand.java similarity index 95% rename from src/main/java/de/prob2/jupyter/BsymbCommand.java rename to src/main/java/de/prob2/jupyter/commands/BsymbCommand.java index c22ad93056583ea935f81d06ea996f247ac2f826..bd961b22a355a2bf7d7e209313a28a0658241f69 100644 --- a/src/main/java/de/prob2/jupyter/BsymbCommand.java +++ b/src/main/java/de/prob2/jupyter/commands/BsymbCommand.java @@ -1,9 +1,7 @@ -package de.prob2.jupyter; +package de.prob2.jupyter.commands; import com.google.inject.Inject; -import de.prob2.jupyter.commands.Command; - import io.github.spencerpark.jupyter.kernel.ReplacementOptions; import io.github.spencerpark.jupyter.kernel.display.DisplayData;