@@ -2062,10 +2062,14 @@ } return true; // Per default match rules are supported. } +const int Matcher::float_pressure_scale(void) { + return 1; +} + int Matcher::regnum_to_fpu_offset(int regnum) { // No user for this method? Unimplemented(); return 999; }