GR API was messed up through merging dev branch

2019-12-17 11:12:14 +01:00
parent 65421a6755
commit 13fac53de8
2 changed files with 2 additions and 2 deletions
@@ -65,7 +65,7 @@ periodic_msg_source_impl::run(periodic_msg_source_impl *instance) {
 				d_finished = true;
 				if(d_quit) {
 					boost::this_thread::sleep(boost::posix_time::milliseconds(500));
-					post(pmt::mp("system"), pmt::cons(pmt::mp("done"), pmt::PMT_T));
+					post(pmt::mp("system"), pmt::cons(pmt::mp("done"), pmt::from_long(1)));
 				}
 				break;
 			}