From 9bb7ff8b1a81a1777c2bca49549c5b6d63adc5e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kirill=20M=C3=BCller?= Date: Wed, 6 Dec 2023 12:15:46 +0100 Subject: [PATCH] chore: Work around ggnetwork problems for now --- R/interface.R | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/R/interface.R b/R/interface.R index 2fb5b7d3825..29c011197ca 100644 --- a/R/interface.R +++ b/R/interface.R @@ -481,7 +481,7 @@ get.edge.ids <- function(graph, vp, directed = TRUE, error = FALSE, multi = FALS #' gorder(g) #' vcount(g) vcount <- function(graph) { - as.numeric(vcount_impl(graph)) + as.integer(vcount_impl(graph)) } #' @export