Added missing case to EcPrinting for insert

Author: Gustavo2622

src/ecPrinting.ml

@@ -3446,6 +3446,7 @@ let rec pp_theory ppe (fmt : Format.formatter) (path, cth) =
         | `Extend  (_, _, false) -> "zextend"
         | `Extend  (_, _, true ) -> "sextend"
         | `Extract  _            -> "extract"
+        | `Insert   _            -> "insert"
         | `Concat   _            -> "concat"
         | `Truncate _            -> "truncate"
         | `A2B      _            -> "a2b"