experimental/optional -> optional

2019-02-12 13:43:32 +01:00
parent 52419f8db3
commit c8a0b9d5cb
15 changed files with 27 additions and 27 deletions
@@ -82,7 +82,7 @@ public:

    /* The allowed filesystem paths in restricted or pure evaluation
       mode. */
-    std::experimental::optional<PathSet> allowedPaths;
+    std::optional<PathSet> allowedPaths;

    Value vEmptySet;