diff --git a/gibbon-compiler/src/Gibbon/L1/GenSML.hs b/gibbon-compiler/src/Gibbon/L1/GenSML.hs
index 516e9a368..1c6c49fd1 100644
--- a/gibbon-compiler/src/Gibbon/L1/GenSML.hs
+++ b/gibbon-compiler/src/Gibbon/L1/GenSML.hs
@@ -364,7 +364,7 @@ ppTy1 ty1 = case ty1 of
   SymHashTy -> _
   IntHashTy -> _
   PackedTy s () -> " dat_" <> text s
-  VectorTy _ty1' -> _
+  VectorTy ty1' -> ppTy1 ty1' <+> "ArraySlice.slice"
   ListTy ty1' -> ppTy1 ty1' <+> "list"
   ArenaTy -> _