Initial complete GC support for maps for non-GLib hash table branch.

overturetool · Apr 6, 2017 · 84167d6 · 84167d6
1 parent 923dbf3
commit 84167d6
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/c/vdmclib/src/main/VdmGC.c b/c/vdmclib/src/main/VdmGC.c
@@ -282,8 +282,12 @@ TVP vdmCloneGC(TVP x, TVP *from)
 	}
 #ifndef NO_MAPS
 	case VDM_MAP:
-		//todo
+	{
+		UNWRAP_MAP(m, x);
+		struct Map *map = cloneMap(m);
+		tmp->value.ptr = map;
 		break;
+	}
 #endif
 #ifndef NO_PRODUCTS
 	case VDM_PRODUCT: