diff --git a/src/Aardvark.SceneGraph/Pools/ManagedPool.fs b/src/Aardvark.SceneGraph/Pools/ManagedPool.fs index e08fd325..121113fa 100644 --- a/src/Aardvark.SceneGraph/Pools/ManagedPool.fs +++ b/src/Aardvark.SceneGraph/Pools/ManagedPool.fs @@ -66,12 +66,12 @@ module AdaptiveGeometry = type private LayoutManager<'a>() = let manager = MemoryManager.createNop() let store = Dict<'a, managedptr>() - let cnts = Dict>() + let cnts = Dict)>() member x.Alloc(key : 'a, size : int) = match store.TryGetValue key with | (true, v) -> - let _,r = cnts.[v] + let struct(_,r) = cnts.[v] Interlocked.Increment &r.contents |> ignore v | _ -> @@ -85,7 +85,7 @@ type private LayoutManager<'a>() = member x.TryAlloc(key : 'a, size : int) = match store.TryGetValue key with | (true, v) -> - let _,r = cnts.[v] + let struct(_,r) = cnts.[v] Interlocked.Increment &r.contents |> ignore false, v | _ ->