1 files changed, 10 insertions, 5 deletions
diff --git a/starts/meaning-vm/level-0/common.hpp b/starts/meaning-vm/level-0/common.hpp
index 613028d..e06e478 100644
--- a/starts/meaning-vm/level-0/common.hpp
+++ b/starts/meaning-vm/level-0/common.hpp
@@ -28,9 +28,14 @@ struct concept;
 struct ref;
 
 }
-namespace level1 { struct ref; template <typename> struct vref; }
-namespace level2 { struct ref; template <typename> struct vref; }
-namespace level3 { struct ref; template <typename> struct vref; }
-namespace level4 { struct ref; template <typename> struct vref; }
-namespace level5 { struct ref; template <typename> struct vref; }
+namespace level1 { struct ref; }
+namespace level2 { struct ref; }
+namespace level3 { struct ref; }
+namespace level4 { struct ref; }
+namespace level5 { struct ref; }
+namespace level6 { struct ref; }
+namespace level7 { struct ref; }
+namespace level8 { struct ref; }
+namespace level9 { struct ref; }
+
 }