diff --git a/divine/sim/var.cpp b/divine/sim/var.cpp
index edcfd2040358132eadae12f1aa5ba8a492e37a93..9c865eaa807a12f94f048eca518dfd8a2373b47e 100644
--- a/divine/sim/var.cpp
+++ b/divine/sim/var.cpp
@@ -161,19 +161,17 @@ void CLI::dump_registers()
 
 void CLI::dump_functions()
 {
-    NOT_IMPLEMENTED();
-/*
-    for ( auto &f : *_ctx.program().module )
+    for ( auto &item : _ctx.debug()._funmap )
     {
-        if ( f.isDeclaration() )
-            out() << f.getName().str() << " (undefined)" << std::endl;
+        auto f = item.second;
+        if ( f->isDeclaration() )
+            out() << f->getName().str() << " (undefined)" << std::endl;
         else
         {
-            auto ptr = _ctx.debug().find( &*f.begin()->begin(), vm::CodePointer() ).second;
-            out() << f.getName().str() << " " << ptr << std::endl;
+            auto ptr = _ctx.debug().find( &*f->begin()->begin(), vm::CodePointer() ).second;
+            out() << ptr << ": " << f->getName().str() << std::endl;
         }
     }
-*/
 }
 
 }