change title

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 9efdf09a8a9db9626d6776be8a48020990fef506..c873364a16589864f1baf2c626c20131aa33dd17 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -326,7 +326,7 @@ At this point it becomes possible to follow the main
 instructions in [[HDL_workflow]] for installing nmigen,
 ieee754fpu, soc and nmutil.
 
-# Upgrading to latest yosys and nmigen in the chroot
+# Upgrading to latest yosys in the chroot
 
 yosys in debian may not be enough to work with nmigen,
 therefore it's probably a good idea to upgrade.