Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove a workaround for a bug removed in previous commit
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 1 Mar 2021 00:24:41 +0000 (01:24 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 1 Mar 2021 00:24:44 +0000 (01:24 +0100)
commit31375d046dcee5f7d77165f11a705ab8ff2184bc
tree99b74d2faf1c2898ff68771bf8535c4549f3e691
parent975faee3cab10e7dadee66a29bbdb7bfaef6e05f
remove a workaround for a bug removed in previous commit

Inspector::to_string() was sometimes called for simcalls w/o inspectors.
src/mc/remote/AppSide.cpp