1 files changed, 1 insertions, 1 deletions
diff --git a/010vm.cc b/010vm.cc
index 6728a0a3..22d9d9ad 100644
--- a/010vm.cc
+++ b/010vm.cc
@@ -509,7 +509,7 @@ string to_string(const reagent& r) {
 }
 
 // special name for ignoring some products
-inline bool is_dummy(const reagent& x) {
+bool is_dummy(const reagent& x) {
   return x.name == "_";
 }