From 69ae3281a75334e83fb1d5f6d9561befdb80784f Mon Sep 17 00:00:00 2001 From: corentinberge <33965571+corentinberge@users.noreply.github.com> Date: Mon, 12 Aug 2019 12:11:25 +0200 Subject: [PATCH] Update signal-ptr.h Delete isplugged instead of unplug --- include/dynamic-graph/signal-ptr.h | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/include/dynamic-graph/signal-ptr.h b/include/dynamic-graph/signal-ptr.h index d66729e..69296f9 100644 --- a/include/dynamic-graph/signal-ptr.h +++ b/include/dynamic-graph/signal-ptr.h @@ -62,11 +62,7 @@ namespace dynamicgraph const SignalBase