From 95aca3381d2cb8983b718f092aed0c1855476993 Mon Sep 17 00:00:00 2001
From: Christian Zimmermann <christian.zimmermann@ur.de>
Date: Wed, 8 Jul 2020 23:41:20 +0200
Subject: [PATCH] type register vector char

---
 src/include/ranges/type_register.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/include/ranges/type_register.h b/src/include/ranges/type_register.h
index ac8f465..5635ce5 100644
--- a/src/include/ranges/type_register.h
+++ b/src/include/ranges/type_register.h
@@ -1,4 +1,5 @@
 
+include_type(vector<char>,1000)
 include_type(size_t,1)
 include_type(int,2)
 include_type(char,3)