diff --git a/tests/aimos.t b/tests/aimos.t
index 0e37f12305d03d86d5afdcfd17c0101e28d95dfd..988acb268779d7295e147c2c47698ca578e6039d 100644
--- a/tests/aimos.t
+++ b/tests/aimos.t
@@ -16,8 +16,9 @@ Test verify
   >   use ieee_float.Float64
   >   use caisar.DatasetClassification
   >   use caisar.DatasetClassificationProps
+  >   use option.Option
   > 
-  >   goal G: meta_robust model dataset (1.0:t) ("reluplex_rotation":string) ("config/custom_transformations.py":string) ("classif_min":string) (0:int) (0:int) (0:int)
+  >   goal G: meta_robust model dataset (1.0:t) "reluplex_rotation" "config/custom_transformations.py" "classif_min" None
   > end
   > EOF
   Goal G: Valid