fix typo in sed line

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index dddcbb38cb242b90e162b7d4a37a780bbfb3c841..612cccba0fb3f462f1480f3d1c45480b7f8a9406 100644 (file)
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -132,7 +132,7 @@ Debug_tags.tmp Trace_tags.tmp:
        $(AM_V_GEN)\
        grep '\<$(@:_tags.tmp=)\(\.isOn\)\? *( *\".*\" *)' \
                `find @srcdir@/../ -name "*.cpp" -or -name "*.h" -or -name "*.cc" -or -name "*.g"` | \
-       sed 's/^$(@:_tags.tmp=)\(.isOn\)\? *( *\"\([^"]*\)\".*/\2/;s/.*[^a-zA-Z0-9_]$(@:_tags.tmp=)\(\.isOn\)\? *( *\"\([^"]*\)\".*/\2/' | sort | uniq >"$@"
+       sed 's/^$(@:_tags.tmp=)\(\.isOn\)\? *( *\"\([^"]*\)\".*/\2/;s/.*[^a-zA-Z0-9_]$(@:_tags.tmp=)\(\.isOn\)\? *( *\"\([^"]*\)\".*/\2/' | sort | uniq >"$@"
 
 if CVC4_CLN_IMP
 libutil_la_SOURCES += \