Commit e92deb4d authored by Giovanni La Mura's avatar Giovanni La Mura
Browse files

Return error code to OS if TEDF objects are different

parent 7b863f1d
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -59,5 +59,5 @@ int main(int argc, char **argv) {
    printf("Configuration objects c and b are different.\n");
    result += 100;
  }
  return 0;
  return result;
}